I don't think GNATS is used anymore, so don't mention it. The entire paragraph is a bit repetitive and could probably be shortened quite a bit more.
Index: faq/faq2.html =================================================================== RCS file: /cvs/www/faq/faq2.html,v retrieving revision 1.125 diff -u -p -r1.125 faq2.html --- faq/faq2.html 11 May 2015 11:18:30 -0000 1.125 +++ faq/faq2.html 20 May 2015 13:13:04 -0000 @@ -603,10 +603,9 @@ problem, and the information in the abov of this issue which impacted Sun4c systems.) <p> -If Smart User had a working OpenBSD system from which he wanted to submit -a bug report, he would have used the +If Smart User had a working OpenBSD system, he would have used the <a href="http://www.openbsd.org/cgi-bin/man.cgi?query=sendbug&sektion=1">sendbug(1)</a> -utility to submit his bug report to the GNATS problem tracking system. +utility to submit his bug report. Obviously you can't use <a href="http://www.openbsd.org/cgi-bin/man.cgi?query=sendbug&sektion=1">sendbug(1)</a> when your system won't boot, but you should use it whenever possible.

