Adds a notes section to Codeforces user profiles for adding custom notes.
Ekde 2023/06/19. Vidu La ĝisdata versio.
