Shows only 4 mantis versions now.