Regenerated Doxygen docs on Feb 26th 2014