describe_key_maybe_fontify 3261 src/keymap.c         insert1 (describe_key_maybe_fontify (kludge, prefix, keymap_p));
describe_key_maybe_fontify 3304 src/keymap.c   	  insert1 (describe_key_maybe_fontify (kludge, prefix, keymap_p));