The 1.12.2 hotfix is now live, which fixes a bug that prevents the "Legally succinct!" achievement from unlocking.