Diff between 1afd0894 (main) and db4fa76f (PR)