docs: def home(request):
      """Home page.
  
      Root of web server should redirect to here.
  
      """
      if request.path.endswith('/'):
          return django.http.HttpResponseRedirect(request.path[:-1])
  
      return django.http.HttpResponse(
          generate_status_xml(), d1_common.const.CONTENT_TYPE_XML
      )