I just did a mild update pass on the howto, as is my annual custom. the howto says that all board variants are supported, so: what's up with RPI5? are there others that aren't? anything else wrong in the howto?