Neo-Davidsonian notebook, and support updates/fixes