I don't think so. @witty-crayon-22786 @fast-nail-55400

extra_platform_properties

solely makes sense in an RE context, right? We use it in the cache key for local and Docker currently, but I think that's a mistake and I was gonna fix it here