RE: tip of the day?

[Drew Adams]

        > Short tips written specifically for this purpose could also
        > include - when appropriate - one or more links to the
        > manual(s), for possible followup.

Just in case someone does decide to work on this feature: It would be good
to make the feature general, in such a way that you could use it with
different tips files. That way, for example, a library could have its own
tip-of-the-day file, which would provide tips only about that library.