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