For whatever reason over the last year or so, the battery usually only charges up to 94-96%, rarely 100%. The charger is relatively new, a warranty replacement in 2019. So with 90% healthy battery, does that mean the capacity is now 0.90 times 0.95 = 0.855, or a range reduction of roughly 15%...