Subject: possible doc bug in guile manual

From: George Demmy <[email-masked]>
Date: Fri, 14 Oct 2022 15:48:45 -0500

Hi,

Reading through the gnu manual, I wanted to get a better handle on
some of @ module syntax introduced in:
https://www.gnu.org/software/guile/manual/html_node/Scripting-Examples.html
I cut and pasted fact and choose into their own files.

I used this version of choose: