Actually, they are! We host many document types on RG, not just song lyrics, so the “lyrics” field of a song is just a specific case of the general “body” field

Actually, they are! We host many document types on RG, not just song lyrics, so the “lyrics” field of a song is just a specific case of the general “body” field of a text. And texts can definitely have rich formatting via HTML markup.