A WAI middleware for HTTP cookies