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