Hi Jakub On 9/7/22 22:53, Jakub Wilk wrote: > * Petr Vorel , 2022-09-06 11:41: >> Although I agree that number of man* is quite high and single man >> directory looks nicer, from practical reasons I'd prefer to revert >> this commit. > > I don't like the new layout either. Thank you both for sharing your opinion. I'll revert it, then. Let me a few weeks before doing that, since I'm in the middle of some other big changes (about lint-c), so to not have to stash and fix conflicts at that scale. If in the meantime someone finds the new layout nice, please speak up :) Cheers, Alex > --