Range-diff !343

back to !343 control, web, wiki: merge gates on mr show and the page, every unmet gate at once