@janl It just makes it a bit easier to handle on the server side (less name clashes). Merely a matter of taste, IMO. I'm fine both ways.