hashmap: migrate documentation from Documentation/technical into header