Jun 8, 2020 · Version 1.0.3: reverted changes to italics
May 29, 2020 · Version 1.0.2: fixed automatic updates
May 24, 2020 · Version 1.0.1: shortened name
May 16, 2020 · Version 1: repository tidied
Apr 24, 2020 · Version 0.x: initial commit