- Rename couldn't be fetched; new URL should be OK.
- Two plugins got re-ordered (added ad-hoc, apparently).
- ctrlp* is suspected to contain non-generated code;
I left it untouched this round but it should be fixed.
/cc @carlsverre for 71a94dfd9