re: #168 Backwoods_Sleuth

Tangetially related: When you become a U.S. Citizen, you have the option of legally changing your name if you want to.

I thought about it…briefly.