User blog comment:MisterWoodhouse/The first migrations to the Unified Community Platform/@comment-43826407-20201208233359/@comment-1038387-20201209195629

You can still find the tilde in the "Special Characters" module in the editors.