Re: [PD] For info: 3 minor issues with Pd 0.54.0 and ELSE 1.0-0 rc-8 under Linux Mint 21.1