pinHs.py: Pin Hs also with -a, disable it with -P
pinHs.py: Bump version number