@SD50-2
Perhaps a few years ago, but not worth it now.
Would require a lot of hassling other mods for a minor thing since I wouldn’t be able to alias them on my own, and its probably been too long to change it and risk confusion over something only I care about ¯\_(ツ)_/¯