Scattered notes on MariaDB redo log internals and file checkpoints.

Redo log structure