django 프로젝트에 텍스트 에디터를 넣고 싶은데 마땅한게 존재하지 않아서 질문 올립니다. 해시코드에서 사용한 텍스트 에디터가 마음에 드는데 무엇을 기반으로 만들어진건지 알 수 있을까요?