My bad! It's a .pdf but I forgot the file extension. I've updated the download (alternatively, you can rename the file yourself, and add ".pdf" to the end).
Sorry, have a weird linux setup and didn't notice.
