A user script (.user.js) that provides a number of enhancements for the PROCAS timekeeping system