Thanks for explaining this. In this case, the other patch that I made to ncurses ("ncurses: change GitHub mirror") is not necessary (at least until they release ncurses 6.5). I made that commit so that an updated developer snapshot can be applied on top (this patch).

Florin