This is what I got, it's official HP, not as small as some but still very portable. I like the extra USB port too. It's a very small amount larger than the stock one, I suppose due to the extra port.
https://www.amazon.com/gp/product/B07R8PCTQQ