Re: PRCommandsWidget: problem with collecting available commands?