Changing Green circle from "maximuze" to "full screen" with no way to revert it - yes, I'm sure there's some sketchy kmod or whatever - is one of the most baffling decisions Apple has made.
I don’t remember any instructions coming with any Mac I’ve bought I. The last decades. The license/warranty info sure, but actual printed documentation is limited to a couple pages of to plug stuff together.