But "main" is a much better name anyway (maybe my non-native English bias), so I don't mind in this particular case.