REQ: non plugin-manager instructions (fixes #16)