 b5a95b1812
			
		
	
	
		b5a95b1812
		
	
	
	
	
		
			
			* Improve overrideDerivation docs. Explain how antiquotation in a package's attribute behaves when overriding the package. * Edit antiquotation note. Fix closing-element.
 b5a95b1812
			
		
	
	
		b5a95b1812
		
	
	
	
	
		
			
			* Improve overrideDerivation docs. Explain how antiquotation in a package's attribute behaves when overriding the package. * Edit antiquotation note. Fix closing-element.