Adds some comments for `js2r-kill` and related functions