---
Bug-Database: https://gitlab.com/esr/doclifter/-/issues
Bug-Submit: https://gitlab.com/esr/doclifter/-/issues/new
Repository: https://gitlab.com/esr/doclifter.git
Repository-Browse: https://gitlab.com/esr/doclifter
