I should perhaps also add that while HA is the main workhorse, I do use a fair number of other tools. I suppose the second most important is ABCMUS mentioned above, which is particularly useful for handling collections of ABC tunes, unlike HA which really only works on a single tune at a time.