Add a note about the universes of [quotient].

This replaces #372.