added wget mirror of docs page (by request)