Походил по спецификации DOM, но ничего, что описывало бы ошибки переприсвоения readonly-объектов, не нашёл.

А userAgent не является частью DOM, это часть BOM.

Интересно) Но мы говорили так же о document, например.