Thanks for the appreciation! I can’t remember exactly when I added that feature, but it wasn’t too long ago.
One of the nice things about Notenik being as old as it is now is that sometimes I get the time and motivation to add little things like this, just because I can, without too much additional effort, and just because they seem nice.