Diff between 1fd9d390 (main) and 02412e89 (PR)