Daniel Shahaf wrote on Fri, 04 Jan 2019 14:18 +0000:
> It occurs to me that it would be cleaner to remove the TARGET attribute
> from the <a/> tags and instead specify it on the <iframe/> tag --- is
> that possible?
I'm not sure if we're keeping the iframe or not, but in any case, I'll
later finish what I started --- unless someone else volunteers to pick
up the remaining tasks.