events: header and source files names for metrics' events reworked (unnecessary repeat of 'events' word removed).