DerBerggeist comments on Solved Problems Repository