Add extensions to instruction files.

- Updated their names to be more consistent with other areas of the downloads site.