Fix typo in User's Guide

Signed-off-by: Austin Seipp <austin@well-typed.com>
Add docs for #8305

Signed-off-by: Austin Seipp <austin@well-typed.com>