[Pkg-openmpi-maintainers] optional/extra overrides, again

[Manuel Prinz]

Hi all,

can someone please explain why all "extra"s got overrides to "optional"?
I added extra to fix the former warning and now there are actually more
overrides and more warnings?! (OpenMPI being optional is IMHO a Policy
violation, that's why we changed things.)

I'm unable to find any useful documentation where the overrides come
from or even why they happen or for what reasoning. Can you explain that
to me or point me to some documentation? Thanks!

Confused,
Manuel