Hi, Paul! The docs are now updated to reflect that this PR has been merged. Thank you for raising this issue