Comment 2 for bug 411520

This is actually a bug in man-db, not grub(2), although it's not particularly easy to fix while retaining reasonable performance. See my comments in the Debian bug report I'm about to link to this one.