In the latest PR #966, the theme submodule has been removed to facilitate testing. As such, the CI needs a new step download the themes.