new file:   tools/HTTPException.rst