post-documentation renaming