Latest HopLib changes
6 months ago Earlier changes on GitHub