@sir when using git.sr.ht in skinny mode on mobile, I feel like file size or permissions would be the more useful columns to condense than file name/extension.