answered 2019-05-31 22:08:16 +0200
This seems indeed to be a bug, thanks for reporting, and thanks @rburing for the bug report, it is now trac ticket 27897.