changelog

Small site edits, generated from recent Git history.

Loading recent changes…