Some hacks in pr_bug for find-examples.