Thanks for the suggestion! Do you want to contribute and make a MR about that change?
https://wiki.debian.org/Teams/MySQL/patches
- Bug#940879: Link with libedit instead of readline5 Bastian Germann
- Bug#940879: [debian-mysql] Bug#940879: Link with li... Otto Kekäläinen
