The stable hashmap issue

Oh sorry I didn’t realize it was now a mops package (relied on this old comment). Great! Thanks @kpeacock

Any clues for the other questions? :slight_smile: