Today I learned how to create co-authored commits on GitHub.
Thank you @pineman for having hosted and managed my site for so long!
