Ivan Corwin, “Comments on David Aldous and Persi Diaconis’ “Longest increasing subsequences: from patience sorting to the Baik-Deift-Johansson theorem”” (arXiv)