Yep, I noticed that misnaming too, Alexander, but left it there for compatibility. But hey, there probably aren't yet that many users out there that call set188hz(). I'm going to change it.
You bring up a point that I wanted to mention. I don't like that ultra-specific method naming. Even if we change to set184hz(), it's still extremely specific to the Cypress hardware. If a new version of Galileo came out with an improved PWM chip, this would immediately become obsolete.
I am going to make a new version of Servo that replaces set44hz() and set188hz() with setResolution(int resolution) where higher values of resolution generate lower dividers, and therefore higher pulse frequencies. The default will be low for maximum compatibility with existing servos. Thanks for pointing that out, Alexander.
Again, I should mention that I am not on the Galileo team, so this is by no means an official statement.