/**
 * Like script `add_references_to_html_document.ts`, but instead of adding references
 * to ann HTML document, it adds reference informations.
 * Useful for debugging.
 */
export {};