I went to https://gitlab.common-lisp.net/help and it says this is version 12.5.2 and "update asap" in a red box. Thought someone might want to take a look to see if really seems to be as urgent as the red box might imply. -- Ray