[math-fun] Brad's recent interest in sn|cn double angles