In <https://issues.guix.gnu.org/XXXXX>, XXXXX will need
to be replaced with the debbugs id.