Wie man schön in der Tabelle (danke, Ulrich!) sehen kann, tauchen dort (explizit) keine ProfileDocs auf. Für Alois' Zweck sollte man sicherlich sowieso lieber auf "normale" Dokumente umstellen, aber interessieren würde es mich schon, ob man sowas via $FormulaClass auch für ProfileDocs machen kann.
Bernhard