Comments on: Marko Petkov\vsek and Herbert S. Wilf, A high-tech proof of the Mills-Robbins-Rumsey determinant formula