[siproprio]

A manual git clone is very slow for the Julia registry, but it's still an order of magnitude faster...