Dev channel update to 100.0.1185.7 is live

Surprise!  We’ve got an extra release for version 100, so today we’re releasing build 100.0.1185.7 to the Dev channel.  This is also the build we intend to bring to Beta, which means we’ll soon be ba...