It seems there's various MW point releases which haven't made it into HISTORY
For example, see https://gerrit.wikimedia.org/r/#/c/mediawiki/core/+/484252/
We should rescue this information
https://www.mediawiki.org/wiki/Release_notes shows the list of major releases, and https://www.mediawiki.org/wiki/Special:PrefixIndex/Release_notes shows them all
[] MediaWiki 1.32
[] MediaWiki 1.31
[] MediaWiki 1.30
[] MediaWiki 1.29
[] MediaWiki 1.28
[] MediaWiki 1.27
[] MediaWiki 1.26
[] MediaWiki 1.25
[] MediaWiki 1.24
[*] MediaWiki 1.23
[] MediaWiki 1.22
[] MediaWiki 1.21
[] MediaWiki 1.20
[*] MediaWiki 1.19
[*] MediaWiki 1.18
[] MediaWiki 1.17
[] MediaWiki 1.16
[] MediaWiki 1.15
[] MediaWiki 1.14
[] MediaWiki 1.13
[*] MediaWiki 1.12
[*] MediaWiki 1.11
[] MediaWiki 1.10
[] MediaWiki 1.9
[] MediaWiki 1.8
[] MediaWiki 1.7
[] MediaWiki 1.6
[] MediaWiki 1.5
[] MediaWiki 1.4
[] MediaWiki 1.3
[] MediaWiki 1.2
[] MediaWiki 1.1
[] pre-MediaWiki 1.1.0