Re: hackage-server: index format