Javadocing the core/records package. The journey of a thousand miles, etc., etc.