Tidying for 3.15 release (Daf Yomi -F feature)