Make printing robots.txt a toggleable option