The process of promoting an app from Extras-devel to Extras-testing should FAIL if the app is NOT optified. That way all apps in Extra-testing would be OPTIFIED. If necessary, demote all existing apps from Extras-testing back to Extras-devel and only let the OPTIFIED ones be re-promoted. That way, the only repository that may contain a non optified app is Extras-devel.