Comment by thomond

Surely you can download the extension from a mirror and install it manually(ie the "old fashioned way")?