Changed again. I guess this will be a never-ending task.
$ file -i /boot/config* /boot/config-5.3.0-42-generic: text/plain; charset=us-ascii /boot/config-5.3.0-45-generic: text/plain; charset=us-ascii /boot/config-5.3.0-46-generic: text/plain; charset=us-ascii
Changed again. I guess this will be a never-ending task.
$ file -i /boot/config* 5.3.0-42- generic: text/plain; charset=us-ascii 5.3.0-45- generic: text/plain; charset=us-ascii 5.3.0-46- generic: text/plain; charset=us-ascii
/boot/config-
/boot/config-
/boot/config-