also @nedbat will those automatic js boxes get translated?