MuseScore is an awesome program (https://musescore.org). But avoid the sinking sands of the service set up on musescore.com domain, made by the company that acquired both MuseScore and Audacity in recent years.
This stuff is a racket. I'd advise to install MuseScore from your Linux distribution's repository and never visit any websites associated with it.
@unfa paying $70 to download a public domain bit of music doesn't sit with me. I know I won't cancle the demo in time. My kid is disappointed as he really wanted the full score not just his parts.
