Fall back to hardcoded "vgl-developers" default