Website updates

This weblog records user-visible updates of this website.

2022-09-21 §

Changed the color scheme, separated "featured" projects from the full list of contributions, removed the "Education" section, rephrased text on the home and about pages.

2022-09-08 §

Added a section about education to the home page, plus some design tweaks.

2022-08-04 §

The website is born.