Arduino IDE - Serial Monitor - how extending number of lines?

The serial monitor of the Arduino IDE buffers about 40'000..45'000 lines.

Is there a way to enlarge this size?

(deleted)

Could you recommend one?

I also think about changing to PlatformIO.
Do they use a "real" serial monitor?

(deleted)

I use hTerm most of the time, personally. I love how it lets you use the modem pins (I often use them to monitor the state of pins in the project under test), and the encoding options. It's sufficiently feature-dense that it's got a bit of a learning curve, though, but once you get the hang of it, it's the swiss army knife of serial terminals.

An easy to use one is COOLTERM