I thought this was a standard procedure? Especially for someone who is used to GMail. In fact, I was surprised when I found out that Proton doesn't do that, and also doesn't empty the Spam folder.
Now that I looked closer, you seem to be right. Hotmail does it as well. But Gandi didn't back when I used it, and MxRoute doesn't. That's probably why I was surprised.