This should possibly be in the `global.php.dist`, comments?