Jordi is a user on mathstodon.xyz. 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.
I got my first pull request guys! This feels important somehow.
@mlemweb It is! Congrats.
