Restrict use by role/capability

Hi – fantastic plugin thanks. One thing, though: I have a non-admin user of my site that I need to allow access to Redirection – it doesn’t show up in his Tools menu. How would I add a ‘capability’ to achieve this please? Thanks

https://ww.wp.xz.cn/plugins/redirection/