[update: still in discussion] Pledis merges with bighit

January 12, 2020