fix(frontends/lean/server): std::unordered_map::insert does replace
existing entry, fixes #188