Version comment user.js

[martixy]

Is your feature request related to a problem?

This is very minor, all things considered, but it would be neat if user.js contained the version number as a comment at the top.

Would be nice to know which version one currently has, in case you forgot what you chose last time or when you updated last.

The solution I'd like

Just put a comment at the top of user.js with the version number and flavor of each release.

E.g. v8.6.0 ESR-Lepton-Proton-Style

Screenshots or video

No response

Alternatives I've considered

No response

Additional context

No response

[black7375]

LGTM.
I'll apply it starting with the next release.

[black7375]

I forgot to automate it before release, so I manually marked it in user.js first.

[black7375]

It's now being reflected and released:

// v8.6.2 ESR-Lepton
// ** Theme Default Options ****************************************************
// userchrome.css usercontent.css activate
user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true);

//.....