Ask HN: I'm looking for a plugin posted here some time ago

There was a little plugin posted here a little while ago, probably not longer ago than at most 2 months.

It was a plugin that enabled you to edit web pages, and other people who also had the plugin enabled would see all edits made by anyone using that plugin.

I believe it was called something like "destroy the web", and its icon was a little tornado if I recall correctly