Bin ich zufällig drauf gestoßen gerade. Kann man sich mal ansehen:
Vielleicht ein brauchbare Freeware-Alternative zu Plist Edit Pro?
https://github.com/ic005k/PlistEDPlus
Zum Bearbeiten von OpenCore Configs: https://github.com/ic005k/QtOpenCoreConfig