mantis for betterdoc application