Documentation and miscellany