Things I shared with others (mostly linked in issues.)