(topic deleted by author)
Not a bug!!!
I was misremembering, I remember there used to be a switch and thought it was there for the core plugin.
Document Properties View, the core plug-in, is to control the right side of the workspace in the document properties page of the switch, not within the document the properties switch.
Properties switch within the document, in the Settings → Edit → Display → Properties in Document