On Sat, 26 Aug 2023 00:21:55 +0200, Oswald Buddenhagen wrote: > > Let the MANUALS/PATENTS section of the former simply refer to the latter > - there is no point in duplicating this information with little value to > end users. > > Signed-off-by: Oswald Buddenhagen <oswald.buddenhagen@xxxxxx> Applied all three patches. Takashi