Adjust themes in release.sh
Adjust themes in release.sh

hal/hal.next,michpetrov/hal.next,hpehl/hal.next,hpehl/hal.next,hal/hal.next,michpetrov/hal.next,hpehl/hal.next,hpehl/hal.next,hal/hal.next,michpetrov/hal.next,hal/hal.next,michpetrov/hal.next