Merge proposals

source-highlight has no merge proposals.