v. 0.42.3, internal changes/optimisations, update readme/manual