Privacy policy change notice

The privacy policy states:

For minor changes, such as grammatical fixes, administrative or legal changes, or corrections of inaccurate statements, we will post the changes and, when possible, provide at least three (3) calendar days' prior notice.

We no longer have the website in a media wiki, so we no longer have user accounts there, but we do on gitlab. In order to stay compliant with our own policies, serve notice that the privacy policy is being updated. Give until the 1 July 2020 as it's the start of a new month.