chore: fix migration notes #12945

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

Provide feedback