Document features introduced in #9