add optional timestamps to manager events (issue #5535, simplified)