#6143: Open Mantis in new window