Yes, the goal is to help people know what is known in an area. I will update the docs to make this more clear.

I am open to supporting pull requests, but my thoughts were that the custom user interface Mathpendium has allows for an easier contribution process.