To have a simple and quick management tool to edit robots.txt in a WordPress website i realized this plugin that allows you to:
- add extra content to default robots.txt
- totally overwrite default robots.txt
Plugin can be download from https://www.wordpress.org/plugins/robots-txt-quick-editor/