Leonhart comments on Useful Concepts Repository