chiark / gitweb /
man: properly refer to $MAINPID instead of $(MAINPID) which doesnt work anymore