show only open proofs/recs by default