안녕하세요? 번역할 때 참고가 필요한 용어들을 서로 엮는 기능이 있으면 좋을 것 같아 제안합니다. 댓글 본문에 #으로 멘션한 다른 용어가 있으면 "관련 용어"로 같이 보여주면 어떨까요. 예컨데, safety property에 liveness property를, debugging에 bug를 연결해놓을 수 있다면 좋겠습니다.