Taking multi-master MariaDB for a spin, reproducing a Jepsen report