I think I found a bug with themes, how do I file a proper report? I can of course just mention it here.