Mention of DEVELOPER=yes out of place/redundant in section 6.10.1 of the Porter's Handbook?

[Pau Amma]

https://www.freebsd.org/doc/en_US.ISO8859-1/books/porters-handbook/using-gnome.html
(in 6.10.1. Introduction) contains a mention of adding DEVELOPER=yes to
/etc/make.conf that to me looks out of place and redundant with that in
section 3,
https://www.freebsd.org/doc/en_US.ISO8859-1/books/porters-handbook/quick-porting.html.
In addition, maybe that mention should be repeated in section 4,
https://www.freebsd.org/doc/en_US.ISO8859-1/books/porters-handbook/slow-porting.html.

Opinions? (Note: "go file a bug" is a perfectly valid opinion.)