Can't add a theme from private repo (because the interface changed but the instructioons didn't)

@hugh has stepped into the role in the meantime.