Terence Tao is also concerned about that section: https://mathstodon.xyz/@tao/109554420101377184