Would the Guile maintainers be open to putting that final summation into "6.6.22 Hash Tables", in the Guile reference manual?