I'm not scaling the screenshots of boot menus because: - They are small enough already - They are harder to confuse with actual apps (cf. #11527) - Scaling breaks their font very badly