Good news, everyone! An upstream bug already exists, #7562. <https://bugzilla.samba.org/show_bug.cgi?id=7562> So there's no need to worry about reporting it. (The bad news: 2010. So not high on the priority list.)