Week 43

This week I continued the work on workbench, adding a “code history histogram” and started running it on linux and fixing a few linux specific issues.