zlacker

Hello! Author here. thank you for raising that, this was an oversight (due to moving text around in the editing process) that has been fixed. Totally agree that acronyms should be defined on first use.