Ramblings

Updated Nov 16, 2017
  

A list of things I noticed that might become features or plugins.

Mergings

Updated Oct 14, 2017

A place to try to keep notes about merge status of various pull requests and the things that have to be done before merging the PR.