. . . . . . . . "page 9, 1st column: it seems that the prune step is specific to the experimental setting, rather than to the general case (non-dereferenceable URIs should have been discarded in the first place...)" . "2"^^ . . . . "2019-11-26T09:05:11+01:00"^^ . .