--- "@jmfederico/pi-web": patch --- Set `IS_PIWEB=1` in PI WEB terminal shells.