Add missing HTML documenting for the `assertions/1` object