Merged in changes from development repository:

   Finished implementing "pull procedure".  This version works.  There are still some things
   that need to be done, though.
Merged in changes from development repository:

   Added rule
   `register_pull_options: register_pull_options INTERVAL_YY TIME_SPECIFICATION_YY'.