David Althaus comments on Solved Problems Repository