Updated vendor/Mantis.md