This is really interesting, as the chain uses bauhaus.info here in Germany, presumably because the .de and .com domains were already taken, but they didn't bother to register de.bauhaus.
Interesting to see someone writing a blog post and explaining issues they've encountered with their laptop, I participate in the official repository of Nix configurations covering these kinds of hardware quirks [1].
I also have a InfinityBook Pro 14 Gen 9 (Intel Version) and began adding support for this laptop in NixOS Hardware in early March of this year, including settings sane defaults, loading drivers, and even refactoring/backporting modules for other InfinityBook versions.
Great work! I love that NixOS makes encoding these settings so easy. 'Sadly', my T14 Gen 5 AMD worked out of the box with NixOS, so nothing to contribute :). (I see that this model is in the repo with minimal configuration.)
