Here’s the guide for changing the DOT reserve from Relay to Asset Hub: Changing the DOT reserve from the Relay Chain to Asset Hub - HackMD. All feedback welcome.
There’s also a tool linked for testing that the runtime change works.
It’s still necessary to do the gov proposal to teleport reserved DOT on relay to AH, as Dónal mentioned.