Bugs in X- and Y-flag handling corrected --- many thanks to Eric Smith (@brouhaha); machine dump feature added (inspired by a proposed merge by Eric Smith); minor errors in the documentation fixed.
Bugs in X- and Y-flag handling corrected --- many thanks to Eric Smith (@brouhaha); machine dump feature added (inspired by a proposed merge by Eric Smith); minor errors in the documentation fixed.