add a comment explaining tipr.min.js is custom for #2172