Hello,

this patch is adding a mention of Guile Hall to the Guile manual

This mention was suggested by Ludo here:
https://lists.gnu.org/archive/html/guile-user/2018-07/msg00002.html

and it has been recently discussed in this thread:
https://lists.gnu.org/archive/html/guile-user/2020-05/msg00094.html