[jordibc]

Thanks for clarifying! FWIW, I wasn't there, but that matches exactly what I remember from that time (I did follow all the different renamings in detail).