shorten column headings for better appearance on github web UI