1. 2022-09-20 Re: Inconsistent HTML anchor names mandoc-te Eldred HABERT 2. 2022-08-09 Re: Inconsistent HTML anchor names mandoc-te Ingo Schwarze 3. 2022-08-08 Inconsistent HTML anchor names mandoc-te Eldred Habert