@Dodgerblue: I'd forgotten about that ...