More clarifications on how extension proxy files work