chore: fix migration notes #13832

Job	Run time
changes	6s
setup / start-builder	1m 46s
acir-bench	13m 5s
bb-gcc	0s
bb-native-tests	0s
build	0s
bb-js-test	0s
noir-build-acir-tests	0s
noir-format	0s
noir-examples	0s
docs-preview	13m 10s
noir-packages-test	0s
noir-test	0s
avm-format	0s
bb-bench	0s
l1-contracts-test	0s
protocol-circuits-gates-report	0s
e2e	0s
bench-e2e	0s
noir-projects	0s
prover-client-test	0s
yarn-project-formatting	0s
yarn-project-test	0s
bb-acir-tests-bb	0s
boxes	0s
bb-acir-tests-bb-js	0s
bb-acir-tests-sol	0s
boxes-test	0s
bench-summary	0s
merge-check	1s
rerun-check	1s
notify	0s
	28m 9s

Provide feedback