use the tilde-free URL for Edwin Brady's paper, due to github messing with tilde at rendering time