Linter tweaks.#115

rpgoldman wants to merge 7 commits intologic-and-learning-lab:mainlogic-and-learning-lab/Popper:mainfrom

rpgoldman:linter-notesrpgoldman/Popper:linter-notesCopy head branch name to clipboard