> From: Jehu Amanna <jehuamanna@gmail.com>
> Date: Sat, 21 Aug 2021 22:46:06 +0530
> Cc: 50152@debbugs.gnu.org
>
> I hadn't rebooted my system for a long time and I just did. The issue is gone and the man pages are
> displayed properly when loaded with configurations. I do not know why such difference.
>
> I appreciate for taking time and effort in fixing this.
Great, thanks for telling us. I'm therefore closing this bug.