change@db.torproject.org doesn't know about perdulce.torproject.org (and other jump hosts)

In some of my keys in authorized_keys I have allowed_hosts=perdulce.torproject.org,..., to restrict its use on perdulce and some other hosts. It used to work, but after making some unrelated change, change@db.torproject.org is now answering me unknown machine perdulce.torproject.org used in allowed_hosts stanza for ssh keys, and removed my keys that have allowed_hosts=perdulce.torproject.org from perdulce.

I also tried using the following hostnames instead of perdulce.torproject.org, but it didn't work better (giving the unknown machine error):

• ssh.torproject.org
• ssh-fsn.torproject.org
• ssh-dal.torproject.org
• ssh-dal-01.torproject.org
• people.torproject.org
• chives.torproject.org