(cherry picked from commit a30751464a)
a30751464a
This is a module for managing the GNU info directory for the user profile. See comments at the top of `modules/programs/info.nix` for further information.