Collab_doc_maker: An Automatic Google-Doc-making Tool. - Jaemyong Chang; Mik Fanguy (ICCSE, 2021)