Adds a notes section to Codeforces user profiles for adding custom notes.
As of 2023-06-19. See the latest version.
