I used ChatGPT to generate code for a Panel numerical slider widget. The output had something called NumberSlider which isn't actually a Panel widget (maybe an old, deprecated feature?). Just thought I'd point it out.