Отлично, спасибо за плагин, @dsims! Его недолгая жизнь оказалась полезной: она привела к исправлению в ядре (что принесло пользу всем).
И спасибо за быстрое внедрение в ядро, @martin!