Text this: The topochemical reduction of some complex iridium oxides