I believe so. They’re pretty good at getting issues fixed pretty quickly.
Also, another option is to directly upload themes using FTP. This can be done by extracting the zip file on your desktop and uploading it to your Themes folder via FTP.
That or the Code Snippets method should work fine for this.
Although it’s not a big issue, hopefully they get it fixed in the next update.
