A routine update, with typo fixes, CV, links to some publications, and software impact metrics.

After more than 3 years of neglecting my personal site, I bit the bullet and transitioned from Webgen to Hugo.

Some design ideas were appropriated from Michał Bojanowski’s personal web site.

A big thank you to everybody who provided feedback on earlier versions!