Update documentation now that my PR has been merged in the main repo