Special:DataDump/view/xml says
DataDump allows you to generate, delete or download a dump of this wiki.
radioscanningtwwiki_xml_6104ed4ef6c712e92cbe.xml.gz Generated at 14:47, 11 January 2020
It is great that it mentions the date.
But it also needs to mention the size.
Else the user doesn't know if he is about to download kilobytes, or megabytes, or ...
(And no, HTTP HEAD doesn't list the size.)