chiark / gitweb /
Avoid lint on all new plugin versions, remove TODO