Wm notes 1.15.0

Pinging @mglukhovsky (and @larkost if he wants to check my checking on pull requests and issues).
Can we say unnecessary? Unneeded is (to me) an awkward word.