[BUG] Readline history + Ctrl+C behaves differently than bash

[itislu]

If you go back more than one input line in the readline history and then hit Ctrl+C, the initial behavior is correct.
However, if you then press the DOWN arrow key, the input line that appears is the one below where you hit Ctrl+C.

It means you are still in the same position in the readline history, even after pressing Ctrl+C.

Maybe this can be fixed with one of the terminal manipulation functions.
It might be interesting to learn more about them in the process.