Add notes on use of def-change