Etherpad plugin to notify the user when an etherpad has been changed and they aren't looking at it.