Rewrite RHS repetitions doc