<div dir="ltr">
Thanks Jeremy and Pierre! Will try following that advice. DevStack is 
facing some issues related to an Apache update right now but I'll try 
again with the GitHub mirrors as soon as it's fixed.</div>