Mayyybe? Is it documented behavior? If not, and if we don't know offhand of some precedent for parsing the logs for '//', I'm inclined to favor consistency.  If anything, such a user might be psyched to update their parser to look for '/Main/'  ;)