- User sees section 'Download for development'.
- User wants section 'Download not for development'.
- User researches the advice "git clone --depth 1, then e.g., git pull (--depth=1 too?) monthly".
- After several years user finds du -sh showing
1.5G mediawiki/ 1.4G mediawiki/.git
- User does not need history filling up his disks!