Save the script file as `@name.user.js` instead of `@name.js`

[ACTCD]

Considering that a user script is a javascript in a specific format and purpose, most script managers and script marketplaces also use this specific suffix .user.js as a way of identification. Whether it should be carried over and persisted to the filesystem.

For my case, I was bothered that every time I edited and saved a script in the Userscripts interface, it always changed my original .user.js to .js, and produce some files in the trash, which caused a certain inconvenience, causing I don't use the built-in editor anymore, I'm used to using an external editor for editing, which works fine due to the way Userscripts loads scripts.

So much so that I gradually ignored the problem until I accidentally used the built-in editor again, and this time I recorded it. I would like to hear more opinions, have you encountered the same problem as a script developer?