Code:
If you see a reference to some kind of 10proxy, go ahead and remove that as well.
Not entirely true. When grub-customizer is used a backup directory of grub files is created in /etc/grub.d and 10_linux is in /etc/grub.d/backup/etc_grub_d/ and removed from /etc/grub.d and 10_linux_proxy is created in /etc/grub.d to manipulate the removal of kernel entries in the grub.cfg. Grub-customizer does this for the other files in /etc/grub.d when needed also. At some point 10_linux was reinstalled to /etc/grub.d without removing 10_linux_proxy.
anticapitalista was the one who happened to catch the problem and suggest removing 10_linux_proxy, removing 10_linux instead of 10_linux_proxy would have have achieved a similar result.
