Copyright © 2019 MariaDB. All rights reserved.
The link is working, but the MariaDB Corporation requires registration to access it.
I meant to mention that I registered yesterday and was logged in when I tried it. I tried again today with the same result.
Thanks, I see that there is a problem and this document is now unpublished. It's probably quite old and outdated though, so will simply remove the link.