Loading annotation for riscvbook.com