Eine spezifische Option oder ein Menüpunkt in der Benutzeroberfläche der Software Pinocchio, der Zugang zu Einstellungen oder Konfigurationsmöglichkeiten bietet.