Revisions: Manual, some fixes to nibblegen