@stefan TIL: That languages do use different quotes,w hile I thought all languages use simply " " and the rst is just different styling.