The claim that the IAU vote was procedurally invalid is interesting