"Number of X" or "X" in table headings? [closed]

This question may be seen by some as a matter of editorial taste but there is also a logical linguistic aspect to it, to do with redundancy.

I assume that the table is populated with numbers representing the counts or numerical indices of lines and files. If so, it seems redundant to head the columns with “Number of ...” or “No. of ...”. It is sufficient to use “Files” and “Lines”.