Thank you for the tip Rukbat!
Unfortunately it did not solve the problem. I installed the media.Re.Scan app via the link you provided, and did the scan - all the music files on the SD-card were 'discovered' by the scanner. But no change to Google Music Player status; I did another refresh...