Document class file name rule

This rule was followed in practice, but not documented so far.
Explain why the binary detection works

Extracted from Enricos comment at bug 9146.