It’s probably worth changing my keys anyway, I’m sure this pair was compromised in one of the web app XSS leaks.

I might need to rent some CPU power to mine 8 characters for “m0n0naut” though