Deprecation notice towards Rex-Shell