Bug in diff man, suggestion for addition

[Van . Snyder]

Bug in diff man:

In the description of --line-format, it says "in-then-else".  This should
probably be "if-then-else".

I like the side-by-side format, but I would sometimes like to have line
numbers too.  That is, independent line numbers in each side, reflecting
the position of each line in its respective file -- not the position of
the line in stdout, which I could get by piping through "cat -n".

I don't see an option to get them.  If it's there, can you tell me what
it is?  If not, is it possible to add it?  An option to specify the format
for the line numbers would also be useful, e.g. %5d": ".  Maybe just
specifying an option for the format of the line numbers would be enough
to specify that the line numbers should appear if side-by-side format
is also selected.  Something like

  diff --side-by-side -W 220 --line-number-format '%5d": "' a b

Thanks in advance,

-- 
Van Snyder                    |  What fraction of Americans believe 
address@hidden       |  Wrestling is real and NASA is fake?
Any alleged opinions are my own and have not been approved or disapproved
by JPL, CalTech, NASA, Sean O'Keefe, George Bush, the Pope, or anybody else.