Removing Authorea cruft.