A collection of scripts to manage a dgamelaunch installation: Crawl-focused at the moment