title: editing robots.txt in wordpress without plugin and without manual edits
body: <p>I am trying to edit a robots.txt file in wordpress.  I can do so manually.  Is there an option in wordpress (without installing plugins) to edit robots.txt or one has to install a plugin for this purpose?  </p>
  
  <p>I will gladly close the question if deemed inappropriate for this prestigious forum.  </p>