minor stuff: restore a lost doc comment, link my name, a markdown tweak