Yeah, it's fixed now, thanks. But now all pages in /dis/ have a choice between Random and Gurochan themes and that's it, whereas other boards have like a dozen choices. Totally fine with me, but idk if it's intentional or not to limit /dis/ to Gurochan theme only.