Re: [knot-resolver-users] [PATCH 0/2] Generate Info manual