For #9399, ReadOnlyBootPrompt will be renamed to FirstBootPrompt. In git, What is the preferred way to move src/apps/readonlybootprompt to src/apps/firstbootprompt? Will a simple `git mv src/apps/readonlybootprompt src/apps/firstbootprompt` work and preserve history correctly? Thanks. --mmadia