Hello!

It seems we forgot to include the UEFI documentation update in the 0.13
release. Is it possible to do a "hotfix" release of the manual? Users are
already asking about this on #guix.. Oops!