doc.dovecot.org does not have a DNS entry. It worked a few days ago, but not now.