[dba-Tech] How to stop a service

The old command-line stuff still works, so you're not quite yet a codger,
and not even in the slightest cranky :)

Having killed the MySQL service, I am now installing the current release of
MariaDB.

A.
​