Re: [math-fun] Flanelle history and the solution of Wilson's sqrt(2) problem

On the other hand, the Flanelle(P) generalization might be new, anyhow was not mentioned in these sources,

--nope -- the Flanelle(P) nonbinary generalization, found by me and Adam P. Goucher, is not new either, section 5.1 of the Allouche-Shallit paper explains near bottom of the page that Prouhet knew about it in 1851, and refers to a proof by D.H. Lehmer: Scripta Math 13 (1947) 37-41. However, my application to numerical integration might be new...