Is it possible to use this function to modify the default WP robots.txt file?