number notes across file not line; improve HTML display of notes