@FrançoisG.Dorais and @ToddTrimble The suggestion to remove
decomposition-theorem already has score +6. Maybe this is enough to consider it consensus and remove the tag? (I thought it might be reasonable to ask mods about this - in particular François G. Dorais, since he seems to be most active in tag-related issues.)
I suggest deleting the tag decomposition-theorem.
I would guess that the tag was intended to be about the decomposition theorem of Beilinson-Bernstein-Deligne-Gabber. It seems unnecessary to have a whole tag just dedicated to this theorem (perverse-sheaves should suffice). What's worse, most po...
