So, I think it'd be better if this was a <script async> js file rather than a blocking one, for performance reasons. We're already sacrificing accuracy with this change, so may as well keep the user experience as good as possible.

Since this file is super short it's probably ok to just use an explicit <script> tag here, I'm not sure if there's an easy way to call js('') such that it uses async.