Documentation on the internal workings of MariaDB.