Asked about this on the help-bash mailing list: https://lists.gnu.org/archive/html/help-bash/2015-03/msg00081.html
And got a reply: https://lists.gnu.org/archive/html/help-bash/2015-03/msg00082.html -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
