danzin, 29 days ago @nedbat Ah, I think I get it. The fact that the <a> tag for the nextFileLink isn't properly closed makes the <button>s children of this link. Somehow, that makes the shortcuts activate that link. You can see that by pressing "?", which also takes you to the next file.
@nedbat Ah, I think I get it. The fact that the <a> tag for the nextFileLink isn't properly closed makes the <button>s children of this link.
Somehow, that makes the shortcuts activate that link. You can see that by pressing "?", which also takes you to the next file.