Here is the configuration file I use for the GuixSD system that hosts this website.