What you say is correct. In order to take advantage of the cache bust feature when using any of the other themes you'll need to update the index file yourself.
The reason for this is that the default theme is maintained by one team and all the other themes by another team. Updating the themes is somewhere on their backlog, but I'm not able to tell you when that's going to be done. Sorry for the inconvenience.