bug#50116: Text on GNU grep webpage far too big

[Antonio Diaz Diaz]

Gavin Smith wrote:
> https://www.gnu.org/software/grep/manual/grep.html
>
> This documentation is not usable because the text is far too big.  I assume
> it is being enlarged with a CSS file.

Additionally, it inserts a pilcrow after each option, which may be confusing 
if one copies the text in an email, for example:

-e patterns ¶
--regexp=patterns