Fix our documentation to not show the expression in Require expr as quoted. Since r1585609 the quoted syntax is ok, but it won't be as efficient so we probably shouldn't put that syntax in the documentation.