Another pgindent request

As long as you're hacking pgindent, can you do something about its habit
of sometimes removing all space before a same-line comment?  Here's
an example from the 7.1 run (in src/backend/storage/lmgr/proc.c):

***************
*** 607,613 ****       MyProc->waitHolder = holder;       MyProc->waitLockMode = lockmode; 
!       MyProc->errType = STATUS_OK; /* initialize result for success */        /* mark that we are waiting for a lock
*/      waitingForLock = true;
 
--- 612,618 ----       MyProc->waitHolder = holder;       MyProc->waitLockMode = lockmode; 
!       MyProc->errType = STATUS_OK;/* initialize result for success */        /* mark that we are waiting for a lock
*/      waitingForLock = true;
 
***************

IMHO there should always be at least one space before a same-line
comment.
        regards, tom lane