Hi, since the question of redoing the home page came up, one small
change that would remove just a bit of clutter: just one 'mailing
lists' link that goes to another page with links to specific lists, as
well as descriptions of what -dev and -user are for.
Locked
