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