Admittedly, it’s not that hard to create a throwaway alias. I just don’t want to do that right now 🙃