Oh yes, we should: https://bugs.mysql.com/bug.php?id=76927