fix `planet/version'

Closes PR 13975
fix doc cross-reference
typesetting repairs for "info.rkt" docs