Clippy comments on Solved Problems Repository