Search buttons not reenabled when returning to a search and changing search text

[pauamma]

Reproduction steps:
1- Visit or reload a wiki page: here, the main page, https://moinmo.in/.
2- Type text in the search box: here, "foo"; this enables the Titles and Text buttons.
3- Press "Text"; this displays a paged list of (as of a few minutes ago) 1306 hits.
4- Back up using the browser's back arrow; this returns to the main page, with "foo" still in the search text box and both search buttons disabled (greyed out).
5- Change the search text to "bar".

Expected behavior:

• Changing the search text reenables the search buttons.

Observed behavior:

• Search buttons remain disabled.

[ThomasWaldmann]

A lot of stuff on the web is malfunctioning if you use the browser's "back" button, try to avoid that.

[pauamma]

Uh. I don't know what timezone you live in, but AFD ended in all a week ago, give or take a few hours.