and we have a .5 second buffer between the HWG fading out and
notes. (Music start time and HWG timing is unchanged.)
As a voodoo-extraction exercise, add a bunch of explanation of
what the numbers mean.
Put the last-second HWG timing in a comment, so it doesn't get lost.