Thanks very much!  I don't think I edited (and the post doesn't seem to have an edit logged) so it's definitely odd that a notification didn't pop up, but that's good to know for future reference.  Thanks again!