Re: HEAD vs Hackage status report