[math-fun] imminent world shortage of Hadamard matrices?