docs: def robots(request):
      """Return a simple "don't index me" robots.txt file."""
  
      resp = request.response
      resp.status = '200 OK'
      resp.content_type = 'text/plain'
      resp.body = """
  User-Agent: *
  Disallow: /
  """
      return resp