more on HTTP as REST