linux-libre-documentation fails to build (see https://ci.guix.gnu.org/build/3512631/details)
- bug#69308: linux-libre-documentation fails to build Gabriel Wicki
- bug#69308: linux-libre-documentation fails to build Leo Famulari
- bug#69308: linux-libre-documentation fails to build Maxim Cournoyer
