Moving 'How to Use REPL' under 'How to Use'