Manual: More ELF-related steps in the tutorial
Manual: Document the elf_closure table