@elliot: there is a "Donwload" -> "Download as .zip" drop down button
anonymous user login
~3mth ago
~4mth ago
~5mth ago