[dev] Planned documentation of commit-IDs in Mantis