If a plugin fails to download the first time, we append -plugin to it and try again. It is the last plugin name that gets output to the failedplugins.txt file, which could be confusing.