Closed #16: correctly update user cues upon categories change