Hi Mike,
I think it would be good to have, for the reasons I mentioned before. As you suggest, though, there may be a reason the _devel archive wasn't created at the same time as the _users archive, and if so, Dan would be the one to know.
Adding a list to
mail-archive.com is very straightforward, and doesn't even need to be done by the administrator - though it would be polite to allow Dan to make the decision. :-)
Importing all of the existing archives is also very straightforward, given that the list is on mailman. Basically just send them a URL once the archive exists.
Want me to log a bug with the above information?
Martin.
KD6YAM