Maps are gzipped now. Some other random minor changes.