Mantis Helper is a browser extension designed to enhance your productivity by providing a seamless integration between your web browsing and Mantis, a popular bug tracking system. With Mantis Helper, you can quickly open issue numbers in Mantis...