remote-shell had been moved to its own Github repo