Range-diff !277

back to !277 web: manage the label set from the browser