Logbook: 2020-02-25

Quick update: I just changed domains for this site. What used to be gringogamer.wordpress.com is now gringogamer.space. I do hope that the change is absolutely transparent to everyone. But please let me know if you experience any problems. Links to the old domain should still work as they are just re-mapped.