[Arm-dev] Nits for the Wiki