Fix the english description of RTN, the formal description is right

There are only two items we pop off the control stack.
Add a generic FAQ entry