Merge 216 GitHub Pull Requests to Avoid Productivity Loss

"Please merge the 216 pull requests that are sitting in limbo in your Github. A couple are mine and would take less than a minute to review as they are single lines of code. Another is for a one-line fix to a missing document Download button