"David G. Johnston" <david.g.johnston@gmail.com> writes: > I'll admit it's awkward because it's abbreviated but if someone enters > \watch 5 and then sees (5s) in the title I think they can put two and two > together.
Where I find this to be awkward is that the format is randomly different between the user-title and no-user-title cases.
What about just discarding the old format entirely, and printing one of these two things:
