I see. I think for javascript embedded in html it's better to use trans. Not sure if `gettext` will trigger inside a template. I think it will, but we know for sure that trans does.

Nope, no docs for this. I think this is good to put inside our style guide; any better suggestions for where to place it?