Many small changes and fixes to census2 accumulated since the migration
to Github.