EXTENSIONS $HOME EXTENSIONS $HOME

no special info, see general notes

shell loader code P4_FXco