Sharing Our Formal Feedback