it seems natural to me to use deb12 for debian 12 deb for debian as in file name extension of package
it follows Windows naming style: win7, win8 ... but others don't think so, i google with deb12, few means debian in past 20 years few call it debN (N=1,2,3...) why few are interested in saving 4 characters (ian )?
