Make eagerly loaded "pageTree" fields mandatory again (see #4866)