Uploaded 25 Jan 2026 by snek.
10 × 1.10 × 1.00 × 0.80 × 1.00 = 8.80, rounded to 9. Why these factors.