Comment 5 for bug 1714265

Your comments are actually of great importance. My priority is that you developers feel at ease with the proposed changes and that they fit as well as possible with the way you like to work. Technology is (or should be) there to help us do our work, not to tell us how to do it.

If you tell me that keeping different file extensions matters to you, I'll keep them there. If not, having just one extension will make your life easier. At the end, what truly matters is what helps you happily contribute to the project.

Shall we go for "everything .F90", then?