Posted by Mario Vilas on Oct 22

Seems to me like it was. Also, wouldn’t a user who can edit those files
also be able to, for example, patch the executable files as well? I haven’t
actually checked the file permissions but it seems like a reasonable
assumption.