@warner Yeah, using an alias is a great idea either way.
Sven Dahlstrand, January 31, 2022
Reply by email 💌