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