problemo is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
@Siphonay That would probably require severe registry editing, if at all possible... And the way Windows usually behaves after something like that is worse than a folder having the wrong name.
This did the trick, actually! I'm expecting some of my software to be confused about it but it's gonna be pretty easy to fix when I come accross these problems
@Siphonay@etfb A single registry key wasn't what I was expecting. hope it works smoothly... part of me thinks the old user folder will still get created from time to time and be populated by temporary files or appdata.
@problemo @etfb https://www.top-password.com/blog/rename-user-profile-directory-in-windows/
This did the trick, actually! I'm expecting some of my software to be confused about it but it's gonna be pretty easy to fix when I come accross these problems