Notebook HTML builder now loads appropriate extension