Maxim Cournoyer writes: > I was also wondering if perhaps (gnu packages raspberry-pi) would be a > better home, given its name. What do you think? Yes, I think raspberry-pi.scm is better too!