Minor corrections to V5alpha

Minor clarifications, and a few typos.

In the calculation for goostat and goodiff, the runtime increases if you don't assume that Nelle works 24/7. The hours she works should probably be stated, and the workload in weeks should then be updated accordingly.