These rules are for Playerworld (the PC servers). It has never been established whether or not they apply to servers accessible via iOS, and there has never been any indication whatsoever from the staff that this is true. Furthermore I doubt most of the GPs know of their existence, much less actively follow them. The fact is that they are not advertised on iOS servers, they are not part of any terms of service that must be agreed to, and players never encounter them unless they are digging in areas unrelated to the servers they are actually playing on.