Comment 2 for bug 2051156

Thanks, Terran! It's a very minor point, but I think the button does not need to be in a div with class input-group-text. The bootstrap 5 documentation does not include it (see https://getbootstrap.com/docs/5.0/forms/input-group/#button-addons), and to my eye, the button looks more clickable and button-like without it.