The End of Lexicography? Can ChatGPT Outperform Current Tools for Post-Editing Lexicography?. eLex 2023, 518-533.