Addition to ERRAI-740: Servlet that provides user agent specific manifests