It would be great if there was an option to add a robots.txt file, for occasions where we don't want our wiki to be indexed (using the DigitalOcean Marketplace Droplet).