You’re welcome! Also thanks for the feedback.

I’ve added a note on the firmware section clarifying there’s no harm in just pulling them, and also a link to a Stack Exchange answer explaining how to configure the default kernel.