docs; misc