Hi,
I didn’t run pgindent earlier, so here’s the updated version with thecorrect indentation. Hope this helps!
Best,Alex