Loose end from r5031: the Kex panel should only be displayed in