user docs; progress towards #11