It turned out to not work. Instead of reverting the commit which
introduced this, let's better document this explicitly.