That is a great link list! I've been curious about converting over a few micro-USB devices I have around so I might pick up some of these boards.
Do you have any recommendations for search terms for boards that would take in DC power (12V+) and make that available for output over a USB-C connection?