Pasted URLs in Rich Text Editor improperly escape tilde character

[renato (Renato Atilio)]

Thank you for the report, we’ll look into it!