It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols