Given that github has deprecated its own "downloads" section (for pre-compiled binaries), decision has been made to temporarily move some .pdf files to my own shared dropbox folder. When the whole thing is more concrete will relocate to the uni's website (if appropriate), or similar.