I upgraded the server that handles the moderation of this group, which in the past has sometimes caused posts to get lost. If you post something and it doesn't appear to show up, let me know. This post also doubles as a test post to ensure everything works properly. -- Russ Allbery (eagle at eyrie.org) <https://www.eyrie.org/~eagle/>