A copy of siple now lives in PISM.
Documentation of IP_SSATaucTaoTikhonovProblem{LCL}, IPTaucParameterization.