done most typesetting edits; remains to be polished