Damn…
I uploaded the first version of my WebExtension with the version number “1” (I thought maybe I’d like to use it as a build number) - I paid it no mind and had soon forgotten all about it.
Now I thought it would be nicer if I changed to naming it with 3 places (making the first version more like a 0.1.0, which would better reflect the state of it).
So I uploaded my first update to it as 0.1.1 (small fixes). But, alas, now I don’t see an update in Add-ons Manager.
Do I have to use a version with a leading 1 or greater now? Is there a way to change it, or to push the lower number over the older version?