The instructions in the other thread were correct, although a bit abridged. You need to look inside the settings.json file, located in starsector-core/data/config/ directory, for the constant "maxsShipsInFleet". You can open the json files with any text editor. All settings intended to be easy to change outside of the menu are located in that file.
[attachment deleted by admin]