Final updates before initial Hackage upload