Superseded by #1289. Knut, when you unmark an idea as a criticism, remember to ‘neutralize’ the old version.