Ok. I was only mentioning it as the game start screen says that they exist. Have a nice day!
Good point, totally reasonable to assume that. Unfortunately PuzzleScript doesn't let you customize that part of the menu. Thanks!
