Test of vanilla inclusion

Hopefully we see

Hello World!

here.

var base_url = ".", shortcuts = {"help": 191, "next": 78, "previous": 80, "search": 83};