Whoops, accidentally included bootstrap.js, but did not include the
jquery.js it needs. For now, we don't need either, so add jquery, but
comment out both.