Conway's groupoid and its relatives