Documentation done! For now, hmm...