At (info "(Guix)Top"), the first line says "This document describes GNU
Guix version , a functional ...". The version number is
missing. However, the manual at the URL
https://www.gnu.org/software/guix/manual/guix.html has the version
0.13.0 correctly mentioned.