No matches were found for subject:"\[bug #20323\] Wget issues HEAD before GET, even when the file doesn't exist locally."