Release Manager Hat: If this is a problem with --developer, then this bug should be marked "medium", not "critical". Developer mode is a convenience and problems with it are not release-blockers.
Release Manager Hat: If this is a problem with --developer, then this bug should be marked "medium", not "critical". Developer mode is a convenience and problems with it are not release-blockers.