Fixes #1897: Make gii diff markup copy paste friendly