An image from Costureiras no Online, one of the productions that also features Agda.