Notion: clean up some bdocs