It was there at least 2 years ago, IIRC. Maybe it's just hard to notice when most messages come to -devel. That is not to say, however, that -users has no traffic at all. I still do see occassional mails there, but sometimes -devel gets too many unrelated topics that belong more to a users' list. The developers may not have a problem with it but we should keep the -devel one free for development mails so as to not clutter their inboxes. Makes it easier to search the archives :)