After trying to implement my own tip on this site, I learned something new about WordPress. The robots.txt file is generated by WordPress using hooks. Specifically, the robots_txt hook.
A loosely organized rant on moving away from static websites to a WordPress based blog. After all, publishing easily is the essence of keeping a blog.