--- "@jmfederico/pi-web": patch --- Keep gateway Settings panels responsive while selected-machine Pi packages load or fail separately.