Notes based on code as of Mon Apr 5 21:38:06 2010 -0400. Headers for libgpsmm.cpp.