The changes to the places have been committed in mkgmap. About hamlets vs villages, I think its another mkgmap issue.
If I look on http://ati.land.cz/gps/typdecomp/editor.cgi it shows that garmin type 0x1100 (used for hamlets) is shown as City name(Point, big) whereas type 0x0b (villages) is City name (Point, small). I’ll report this too.