This reverts commit 0515ca9a.

If you have a problem with the way bug reporting currently works, the
documentation is *not* the place to discuss it.