Sorry for the inconvenience rweb, hopefully Dave’s suggestion will help you get what you need.
The Extension Warehouse is in fact currently down for maintenance due to technical problems. I have started a new topic here on the forums to help track its status for anyone that needs to be updated.