Wonder if this would fix the github csv editor.