[ Lots of good comments to justify --nolinks ]
I'm sorry if I wasn't clear -- I think that --nolinks is a good idea,
and in no way am I opposing it. I was just being pedantic about the
scenario you described.
Sorry for that, but I can't resist joining in when Alice and Bob are
involved.
Juliusz