Fixes #1476 Spiders / Bots theme selector missing

Fixes #1476