> Would it not be possible to fetch a drop-in package instead? > Above seems overly complicated if you don't have a pve-4.0 development > installation. Not sure what you want to do. ExtJS5 support is not complete, so it only makes sense if you want to develop.