Documentation for the machine-readable version of the Henry Draper Catalogue (edition 1985)