anchor.diff:  
           #list{body = [
               #li{style = <<"font-size: 18px; padding: 5px 0;">>, body = [
  -                <<"Make a copy of the default configuration file: ">>,
  -                #pre{style = <<"margin: 0 auto; margin-top: 10px;">>, body = #code{
  -                    class = <<"bash">>, body = <<"cp /usr/local/etc/oneclient.conf.default /usr/local/etc/oneclient.conf">>}
  -                }
  -            ]},
  -            #li{style = <<"font-size: 18px; padding: 5px 0;">>, body = [
  -                <<"Uncomment and set the <i>provider_hostname</i> value to <strong>", ProviderHostname/binary,
  -                "</strong> in the copied configuration file">>
  -            ]},
  -            #li{style = <<"font-size: 18px; padding: 5px 0;">>, body = [
                   <<"Generate and copy an ">>,
                   #link{body = <<"authorization code">>, href = <<"/tokens">>}
               ]},
               #li{style = <<"font-size: 18px; padding: 5px 0;">>, body = [
                   <<"Start <strong>oneclient</strong>: ">>,
                   #pre{style = <<"margin: 0 auto; margin-top: 10px;">>, body = #code{
  -                    class = <<"bash">>, body = <<"oneclient --authentication token <i>mount-point</i>">>}
  +                    class = <<"bash">>, body = <<"PROVIDER_HOSTNAME=", ProviderHostname/binary, " oneclient --authentication token <i>mount-point</i>">>}
                   }
               ]},
               #li{style = <<"font-size: 18px; padding: 5px 0;">>, body = <<"Paste the authorization code">>}
  
positive.code:         #p{style = <<"font-size: 20px; margin-top: 30px;">>, body = <<"Run <strong>oneclient</strong> using a <i>certificate</i>">>},
  
          #list{body = [
              #li{style = <<"font-size: 18px; padding: 5px 0;">>, body = [
                  <<"Make a copy of the default configuration file: ">>,
                  #pre{style = <<"margin: 0 auto; margin-top: 10px;">>, body = #code{
                      class = <<"bash">>, body = <<"cp /usr/local/etc/oneclient.conf.default /usr/local/etc/oneclient.conf">>}
                  }
              ]},
              #li{style = <<"font-size: 18px; padding: 5px 0;">>, body = [
                  <<"Uncomment and set the <i>provider_hostname</i> value to <strong>", ProviderHostname/binary,
                  "</strong> in the copied configuration file">>
              ]},
              #li{style = <<"font-size: 18px; padding: 5px 0;">>, body =
              <<"Place your X.509 certificate (acceptable formats are <i>PEM</i> and <i>PKCS 12</i>)",
              " in <i>$HOME/.globus/usercert.pem</i>">>
  
negative.code:             #li{style = <<"font-size: 18px; padding: 5px 0;">>, body = [
                  <<"Start <strong>oneclient</strong>: ">>,
                  #pre{style = <<"margin: 0 auto; margin-top: 10px;">>, body = #code{
                      class = <<"bash">>, body = <<"PROVIDER_HOSTNAME=", ProviderHostname/binary, " oneclient <i>mount-point</i>">>}
                  }
              ]},
              #li{style = <<"font-size: 18px; padding: 5px 0;">>, body =
  