But there is no reason why @r{} would only be used like that,
Sure, agreed. (I don't believe I said there was; I was merely
explaining why it had been done, incorrect thinking as it may have
been.)
If we really want something like [lineannotation]
As far as I'm concerned, we don't, barring user requests.
k
