Things may have happened since I posted the OP