Hi, I noticed that the Babel logo looks like it has been cut off on the top and right side: https://www.irif.fr/~jch//software/babel/ Is that intentional?