added plugin-list entry for Ctrl-P