Is there a connection to geometric algebra here? The similarity of the final result to the geometric product (a dot b + a cross b) seems like it can't just be a coincidence.
More specifically, the rotor that rotates (unit) vector a to vector b is the geometric product of a and the half angle vector between a and b. Barring a sign change that works out equivalent to the quaternion given in the article.