The should this be added? It was left off previously because theme.js doesn't do anything useful so is just an unnecessary download and script execution. It may do something useful later but not at this point.