HTTP servers and the HTTP protocol