Are there mirrors for the pic list ? seems busy right now

--
http://www.piclist.com hint: The PICList is archived three different
ways.  See http://www.piclist.com/#archives for details.