Either document or deprecate .hidden

Created by: cvrebert

Kinda redundant to .hide, but in any case, it's not currently documented. Per @Bartmax in #9881 (closed).