grapheme popularity as hat metric#2190

josharian wants to merge 1 commit intomaincursorless-dev/cursorless:mainfrom

josh/experiment/hat-grapheme-popularitycursorless-dev/cursorless:josh/experiment/hat-grapheme-popularityCopy head branch name to clipboard