Hi! While working with a GHC plugin, I accidentally found out the following behaviors: * The use of a plugin, at least one that is declared as pure, doesn’t make the compiled module considered unsafe even when `-fplugin-trustworthy` is missing. * Any option of the form `-fplugin-opt⟨some-garbage⟩` is accepted. Is any of these two behaviors intended? I’m using GHC 9.12.2 through Cabal. All the best, Wolfgang