3 ms·

Removing “highlights from other users” would be appreciated, IMO they are distracting and pointless.

• ezekg 10y ago
  Especially when readers go and highlight random spaces…