Flagged Out-of-Date Comment: glucose

a821 flagged glucose out-of-date on 2023-11-06 (UTC) for the following reason:

https://www.labri.fr/perso/lsimon/research/glucose/#glucose-4.2.1