Prototyping ideas about how to handle notifications in edX