An external marketeer has worked on a project throughout collaborating with JIRA. However, his job is finished, but we are still working with the same JIRA board. He still gets updates etc. How can I delete this user from my JIRA board, or at least deactivate him?