Re: [PATCH 03/14] docs: fix broken doc references due to renames