YouTube Music is building upon real-time lyrics (from 2023) by adding the ability to share them in the mobile app.