I'm pretty familiar with the 235 and it looks a bit more powerful (on DC) than the HP one. The HP one looks similar to many of the cheap chinese chargers that are on the market for about $20
I think I'd vote for the 235 , I have one that I modified for higher AC power charging and I like it very well.