Remove htmlproof for now

We should really still deal with the errors though