Starting download of /gnu/store/an1yl3fwcqvpcgw80s99mffw935vwpf8-docbkx412.zip From https://docbook.org/xml/4.1.2/docbkx412.zip...  docbkx412.zip 74KiB 0B/s 00:00 [ ] 0.0%  docbkx412.zip 74KiB 715KiB/s 00:00 [############### ] 86.6%  docbkx412.zip 74KiB 820KiB/s 00:00 [##################] 100.0%