talking with pmuiratbleepbleep and he pointed out we were missing the "tabzilla" component which is present on sites like wildfly.org.
the upper right "red hat" button.

That is probably just missing because we got our styles/css from earlier versions of .org theme.