Hi,
The wiki has "InterLinks", which is simply a convenient way to refer to
certain web pages.
For instance, this markup
bug:10481
is automatically converted into this link
http://www.lyx.org/trac/ticket/10481.
Similarly, there's prefixes like LyxDevelPost and LyxUsersPost which were
used to refer to gmane.org. Unfortunately gmane.org doesn't seem to contain
the LyX lists anymore :-(
I just now tested repointing the prefix "LyxDevelPost" from gmane.org to
mail-archive.com, so e.g.this currently works: LyxDevelPost:200333
There's a problem though... it seems the IDs of posts, i.e. the number, is
different for gmane.org versus mail-archive.com. My repointing would
therefore mean that a pre-existing link into gmane.org "evolved" from
initially working fine, to not working at all, to suddenly pointing to the
wrong post in mail-archive.com. *sigh*
A lesson learned here is that perhaps we should avoid referring to posts on
e.g. the devel list.
But the question is what to do now. Perhaps use a different, and unused,
prefix for devel-posts on mail-archive.com?
Thoughts,
Christian
