Defining Board Type In Sketch

I know I'm "late" to this party...

Where is this recorded?
I open a sketch that I worked on about 3 weeks ago, and the "IDE" did NOT work as advertised, it did not remember the board or the port...

I think this might be due to multiple instances open at the same time. I have not done any in-depth testing on this.

Version: 2.3.2
Date: 2024-02-20T10:04:35.814Z
CLI Version: 0.35.3

Copyright © 2024 Arduino SA

As I software developer by day; and Arduino enthusiast by night; may I make a suggestion:

Why not create a config directory (Similar to Visual Studio or JetBrains IDE's) where the settings are recoded?

I have not browsed through the latest Arduino IDE code, so I cannot comment on how easy this would be for the team to implemente.
I have forked it on GitHub so will try and go through the code to see how this can be added; as I do belief this would be a good "quality of life" enhancement.

Side Note: I did see your post on the CLI and will have a read through the documentation.

Thank you,