Oh, really? That is embarrassing. I had just assumed that it was also Mantis BT because the interfaces were similar. My bad, I will update now. UPDATE: Sigh

Oh, really? That is embarrassing. I had just assumed that it was also Mantis BT because the interfaces were similar. My bad, I will update now. UPDATE: Sigh, too late to edit now. The internet preserves my follies for future generations!