Infinite-presentation conjecture for the Fibonacci restricted Lie algebra

Let $p=2$ and let $\mathbf L=\operatorname{Lie}_p(v_1,v_2)$ be the Fibonacci restricted Lie algebra. Infinite-presentation conjecture. The algebra $\mathbf L$ is infinitely presented. The claim was previously suggested in the cited literature, while the paper reports related homological results establishing infinite presentability for the ordinary Fibonacci Lie algebra and a related just-infinite self-similar Lie algebra.