(Finally) found the time to report it to OpenSSH: https://bugzilla.mindrot.org/show_bug.cgi?id=3169 Thanks, Paride, Seth and Simon, for your help.
(Finally) found the time to report it to OpenSSH: https:/ /bugzilla. mindrot. org/show_ bug.cgi? id=3169 Thanks, Paride, Seth and Simon, for your help.