/* Retired additional-statistics UI; retained as an empty compatibility resource. */