11 open tasks under https://phabricator.wikimedia.org/tag/browser-support-opera/ looks handable, hence no real need to split into even smaller baskets here. See T76302#986955 :)

And who was talking about splitting? There is quite a significant pile of untagged Opera Mini related tasks. (Besides bunch of other untagged Opera tasks as well.)

Spending 10min trying to find tasks specifically related to behavior only exposed by Opera Mini (and not about proxy browsers in general), I could find
https://phabricator.wikimedia.org/T136755,
https://phabricator.wikimedia.org/T136699,
https://phabricator.wikimedia.org/T136706,
https://phabricator.wikimedia.org/T134894,
https://phabricator.wikimedia.org/T109944,
https://phabricator.wikimedia.org/T107705,
https://phabricator.wikimedia.org/T136802,
maybe https://phabricator.wikimedia.org/T128232.

8 tasks. Did I miss any?

Yes. you obviously omitted all closed tasks. And those which are already tagged with Browser-Support-Opera. And I don't see any reason why you discounted "proxy browsers in general" of which it is a part...

In T136724#2351073, @Danny_B wrote:

Yes. you obviously omitted all closed tasks.

I did, as I'm more after helping developers planning their future work instead of users having to find out about the existence of some tag in Phabricator in order to check for tasks resolved or declined in the past.

And those which are already tagged with Browser-Support-Opera.

No, I did not omit them as I searched for "opera mini" but not for any tags.

And I don't see any reason why you discounted "proxy browsers in general" of which it is a part...

The description of any Browser-Support-* projects says ""problems that are specifically related to the XYZ browser"". I guess I interpret "specifically related" as rather exclusive, but you might have a point about being more inclusive (if I interpret you correctly).

So which amount are we talking about, and does it justify creating yet another browser tag?
I'm also wondering which developers are looking for Opera Mini bugs specifically (as tags should primarily help developers organize and find potential work). @matmarex maybe? If there's actual developer interest, let's create it.

Not me, but mobile folks were working on it recently (T136699).

So if mobile developers/designers/etc (@Peter? @Jdlrobson?) think this tag would be helpful, let's create it. If not, let's decline it?

@Peter, @Jdlrobson: Any comments? ^

I would not use it. We usually put Opera Mini in title if it is Opera Mini specific. Opera Mini is blacklisted by ResourceLoader.

Apart from the reporter no interest has been expressed so far, hence proposing to decline this request.