doc: fix code to list existing tinykeymap definitions