Although this question has been answered, none of the answers work for me. It took me a while to figure this out, so I thought I would share the answer, as this could save someone the pain.
To download the source code, go to the github mirror, you can download the ZIP (see the "Download ZIP" button to the left of the screen) and select the tag for the version you need. See this screenshot.

source share