GNU Linux-libre 4.13.13-gnu, 4.9.62-gnu, 4.4.98-gnu, and 3.18.81-gnu source tarballs and patches, and Freesh .debs are now available