Now that divisions are used and queried directly more often, remove the unused proxy methods in KGmap.