MugaSofer comments on Solved Problems Repository