PRCommandsWidget: problem with collecting available commands?