General question about Arduino library instruction manuals

Hi @62Tom. A community member provided instructions for installing the Print extension in Arduino IDE 2.x here: