Dev docs - search doesn't work right

This has been happening forever, so I figure I'll finally say something When you open the dev site, and go to search, "community" is never an option.  It only becomes an option if you drill down to ...