I want to rename vexpress-a9 to just plain vexpress, because it also supports A15 and A5 cores and the current name confuses everyone. Are these the steps I would need to follow...?

1. To avoid breaking people trying to build previous releases I would need to get a new git repo created called device/linaro/vexpress.git which is a copy of the existing vexpress-a9.git and then edit the contents of this to remove references to 'a9'.

2. Copy the manifest file staging-vexpress-a9.xml to staging-vexpress.xml (or should it be landing-vexpress.xml)? Then edit the device path to the new device git.

3. Update build jobs on android-build.l.o

4. Tell someone about this so the instructions on the download pages get updated for next month's release.

5. Anything else? (I've already updated l-a-m-c to accept the new name)