debian/OPTIONS 
docs/UPGRADE.md