anchor.diff:    /// Implements a variation of the `try-finally` exception handling construct
     /// for jobs.  The given action, specified as a job, is executed after the job
     /// has been run, whether it fails or completes successfully.
  +#if DOC
     ///
     /// Note that the workflow notation of F# does not support this operation.  It
     /// only supports the weaker `tryFinallyFun` operation.
  -#if DOC
     ///
     /// Reference implementation:
     ///
  
positive.code:   /// job.  `thunk u2x` is equivalent to `result () |>> u2x`.
    val inline thunk: (unit -> 'x) -> Job<'x>
  
    /// `Ignore xJ` is equivalent to `xJ |>> fun _ -> ()`.
    val Ignore: Job<_> -> Job<unit>
  
    /////////////////////////////////////////////////////////////////////////////
  
negative.code:   /// `Job.queue`, `Proc.start`.
    val inline start: Job<unit> -> Job<unit>
  
    /// Creates a job that immediately starts running the given job as a separate
    /// concurrent job.  `startIgnore xJ` is equivalent to `Job.Ignore xJ |>
    /// start`.
    val startIgnore: Job<_> -> Job<unit>
  
    /// Creates a job that schedules the given job to be run as a separate
  