[dev] Re: Planned documentation of commit-IDs in Mantis