Right now, the built-in readline implementation (shared/readline/readline.c) does not support CTRL-L, which is a somewhat common key to clear the the screen, and move the prompt and command line to the top of the screen. At least bash supports it.

This feature could be optional, and features like MICROPY_REPL_EMACS_KEYS already are, but the size savings wouldn't very much.

I might implement this myself If I get around to it. If anyone else want to do it, please let me know here.