@siracusa Fair point. But in theory an automated tool could be implemented well. Contrast with “human” reviews which will never get better.