I've added the "noklab" catalogue but these themes still do not appear in my list of available apps: any clue? TIA.