Remove a paragraph about code removed in #437