Clarify that gabrtv is BDFL for Deis decisions.