The web3 tag was created in the height of the crypto craze (web "3.0"), but was intended for use with just the JS library web3js, a library for working with Ethereum, a specific crypto currency.
However, over time many other versions of this library have come out for different languages (e.g. for Java, for Python, for Rust, for PHP, and many more). These libraries, including the original web3js, all have their own specific tags now, which is great.
Unfortunately, people are regularly still using web3, out of laziness and/or ignorance, for any question about any web3 library. Also unfortunately, the tag cleanup bug that has been plaguing various tags for several years now also applies to web3 (this is the bug that causes tag removal/wiki deletion to fail overnight when there are zero undeleted questions remaining). The impact of this is that these people asking new questions aren't caught by the 1500-rep gate of 'are you sure you want to create a new tag?' which would otherwise probably prevent 95% or more of these new questions from using that tag.
I update the tags on several new questions a day to try and apply the correct language-specific library tag to new questions that come in, but it would be great if this weren't needed anymore.
To solve this, can we please have a moderator mark web3 as a synonym of web3js so that it stops getting used by people who mean something else (or at least, gets used far less frequently)?