It's now 10 whole years since I tried to do my duty for the community and remove the #curl alias from PowerShell. It's still there. https://daniel.haxx.se/blog/2016/08/19/removing-the-powershell-curl-alias/