Rename `taskmanager` into `jstm`.