Double groupoids, matched pairs and then matched triples · wovepaper