Ubuntu Linux 18.04 WSL in Windows: MariaDB service start fails

Question

After installing MariaDB repository configuration tool for the first time in my Linux WSL for Windows (as described in MariaDB Download Page), I executed mysql