Re: #1447: block booty from dist-f11