#GNU #Linux-libre 5.9.7-gnu, 5.4.76-gnu, 4.19.156-gnu, 4.14.205-gnu, 4.9.242-gnu, 4.4.242-gnu sources, and updated cleaning up scripts for the first two, are now available