Added/renamed a few commands in the terminal plugin