A wish for pygments