Overview This repository contains notes that I thought could be generally useful to others (and that I had no reason to keep private).