legalize-kr: All Korean laws and precedents archived as Markdown with Git commit history