added link to #518

Added a link to issue #518 which contains a list of suggested proof requests.