One doc tagged with "How to use defaultTargetPlatform and kIsWeb"