Add documentation for EventReceiver.h