Mistakenly, I had changed the tiddler widget to refresh itself when the value of the target tiddler changed. This is not in fact necessary; it only needs to refresh itself when the identity of the target tiddler changes. Fixes #744
<script>