The text f1ef1db681f0, as Debian 7 (Wheezy) shipped it.
explain rmdir(2) errors
explain_rmdir(3) on Linux now