@ernie @vkc Used it for a very long time, even professionally and have been trying to reduce my usage for some time too.
I think the problem can be pushed in the right direction by distribution packaging teams. We need a couple drop in replacement splash screens and the packagers can fix the naming.