#clippy

From over 9 years ago

From about 10 years ago

From over 7 years ago