I see the rationale, and it is fine. It would be nice to have a short note about why in this specific case we use different coding conventions. Could you add it and then I merge? Thank you!