procid.user.js updated to point to the github repository.