the exact same section is already in extra.rst. i propose to simply drop it.