98-01-29 stolfi
===============

  Got from John Grove's site the big label table in HTML format,
  docs/JohnGroveLabels.html.
  
  Cleaned it up and converted partially to my own label database
  format; see Notes/014/