> Perhaps we should underline them to make them look more like a link.
> How about that?
I dislike underlined links --- even on web pages, but as long
as I can turn it off, it may be ok...
Maybe an option that automatically applies underline (or more
generally a face inactive-link) to all text which has a mouse-face
property, but mouse is not over the link...