It has been broken for over a year without anyone complaining or
noticing, thus proving that nobody ever uses it.