/doc/bugs/debbug_shortcut_should_expand_differently/