Actually document the Regexp support for #[].