It has been stated repeatedly there are multiple reasons behind the proposal to make eliminate implicit mapping, the issue with forcing new users to always include the “boilerplate” of implicit none in relevant program units is but one of those reasons.
Separately, there are so many actual lived experiences where they have legitimately received feedback from other programmers who have indeed discontinued with Fortran for a number of reasons but who have said the first impression with implicit typing was observably negative and which stayed with them all through. On what basis is someone trying to discount such experiences as “far-fetched”.
If one does not advocate a position in a given thread, why resort to calling anyone (such as @jacobwilliams , @FortranFan , etc.) who seeks community support for a longer term directional advancement as “dogs barking”? Even as the suggested change, all within the slow, grinding process of Fortran standard evolution, that can only take effect decades from now and which provides more than ample time for any codebase desirous of “implicit mapping” to do the needful and which is minimal effort to be unimpacted in any way with the change.