Uninstall DECet-Plus, replace with DECnet Phase IV?