doc: make clear --assume-unchanged's user contract