linkFilename s -- convert a string s into a string
which can be used as a file name to contain HTML about the topic
referred to by s.
The value returned is a sequence number, and hence may not be
the same in subsequent sessions. Hence this is mainly useful
for creating html for all the online documentation, and the general
user will not find it useful.
