I'd like to get this PR merged even with a few little nits still in place. I made video demo to show where it is today and a few of the tweaks that we can do after: github.com/OpenHands/OpenHands/pull/16600#… . Any major snags or worries?