Doc: Total Verbatimimization