For #179: display of user events documentation