Adding a groff task to fix the segfault even in the face of whatever we decide to do about the profile (see https://savannah.gnu.org/bugs/index.php?65427).
Adding a groff task to fix the segfault even in the face of whatever we decide to do about the profile (see https:/ /savannah. gnu.org/ bugs/index. php?65427).