@aik099 I think it should be available throw an `installer.php` script and available from a `website` or something like that, that will generate the file.