Hackage mirror as static files