Readline annotated doc reworked