jasonrute/lean-proof-recording-public not found