I've decided that it's probably best to do this sooner than later, since we accumulate more tech-debt the more we use usernames.
This effects a significant amount of this project and the RCOS database and API. It is required that any infrastructure that relies on usernames is supported by telescope before rcos/rcos-data#24 is merged and applied to the database and API. Currently that includes just telescope and the discord portal to my knowledge. Once these are supported by Telescope (likely 0.7.0) then, and only then, can rcos/rcos-data#24 be merged.

The process here is:

1. Release Telescope 0.6.0 (meeting creation etc, reliant on usernames.)
2. Release Telescope version with Discord Gateway (Discord Gateway #178).
3. Merge https://github.com/rcos/rcos-data/tree/uuids-main into the telescope branch.
4. Update Telescope to support user IDs.
5. Merge Add user IDs and fix several bugs in prior migrations rcos-data#24.
6. Apply migration and deploy Telescope.
7. (Optional) Remove PostgREST from rcos-data.