Reminder of how to set up VSCode to display the Linux kernel’s code