GitLab

Fixes two pump.py bugs. One of them ("$range 1..n $$ comment" doesn't parse) was reported by user Aksai Chin.  Aksai also contributed a patch, which I didn't look at as I didn't want to bother him with signing the CLA.  Instead I wrote the fix from scratch.