Yes, that would solve the issue of not being able to have your own robots.txt file and I did not know about that. On the other hand, Feedfetcher would still ignore the robots.txt
I do think they should change their process (making it lazy-load instead), but that's a different issue to robots.txt.