汉语大词典价值:什么是迷你歌词(mini)?