v3.1.1: Where my website currently stands This is a release mostly motivated by the fact that I am starting to explore how to migrate my personal website to a Jekyll-based deployment. Jekyll will make it easier for me to manage this website over time instead of the ugly HTML that I am doing right now. So, this is a historical snapshot to remember for "some day".