pothos-gui: properties panel moved optional docs check