A maubot plugin that aggregates ping statistics
A maubot plugin that aggregates echo bot ping statistics.