Whipped up a little plug-in to make it easier to disable search engine indexing via robots.txt.

✴️ Also on Micro.blog