@MartinSleziak Thanks! For the first time I've used the meta sandbox to compose a future question on the main site. I've already thought of another modification where I would try to make it shorter and stress the (possible) connection to the Zeilberger algorithm as described in the book A = B. I have no means to execute the algorithm, which if I could might answer my own question.