Use fork of Ctrl-P

A more recent fork has started because the original plugin author
doesn't develop it nor accept pull requests.