Miscellaneous maintenance: update versions, add Unidoc config, etc.