Diomedis Spinellis: How to monitor MySQL / MariaDB query progress