He may have not added all the files and since I don't mod, hard to fully say. However, the check is there. If the patcher is re-downloading everything then it is probably catching it.
Edit:
I edited the login background and some map textures and it worked fine, even though it is listed in the xml.
It might be simply what the patcher checks when you repair the client, but I thought it also checked for moded files.