Oh, nice!  So when's the follow-up pull request to add these notations to all our other JS files? :-)