Attribute Michael Dorman for his initial patch on issue #18402.
diff --git a/Misc/ACKS b/Misc/ACKS
index af84d09..2262c79 100644
--- a/Misc/ACKS
+++ b/Misc/ACKS
@@ -341,6 +341,7 @@
 Marcos Donolo
 Dima Dorfman
 Yves Dorfsman
+Michael Dorman
 Cesar Douady
 Dean Draayer
 Fred L. Drake, Jr.