Do we need a way to delete all of a peer's edits?

[bertob]

How do we want to handle a case where a peer is added to a space and then later starts spamming it with awful/illegal/etc content? Removing the peer would not remove their edits, and it might be problematic to keep that in the edit history, i.e. on every peer's hard drive (especially if/when we add media in addition to plain text).

There are two broad cases here:

• Peer starts adding bad content, gets removed immediately (nobody does any edits on top of their changes)
  • Perhaps there could be an option like "remove all edits from this peer the last N hours" or similar as part of the ban workflow for cases like this?
• Peer starts adding bad content, someone else does more edits on top, then peer gets removed
  • Probably needs manual moderation / merging by an admin to remove it without breaking the document?