Two posts already in the forum, and I don't see how they are connected to the topic subject; Arduino file extension.
Ok, OT it is.
We all have good days and bad days. If you think that person who writes nicely 99,9% of the time, is a saint of a akind, you are so wrong. It's like people who work in a bank, they need to keep the appearance, no matter what the customer says. But wait, that day comes when morning start badly at home, and the first customer don't know who he/she is deeling with... BANG! There you go, you have lost your face forever, have you? No, if the customer is human, yes if the customer is selfish idiot who sees nothing else but his/her own misery.
I think the next generation extension for arduino should be .AIE (Arduino IDE Extension). It's not used, and it sound futuristic!