I noticed that the filename properties in installed .go files always begin with "module/". Is this correct and, if not, does it matter?
(For example, and-let-star.go has several occurrences of module/ice-9/and-let-star.scm where I'd expect just ice-9/and-let-star.scm.) Neil