{% extends "lean-console/base/layout" %} {% language.set "lean.debugging" %} {% title _("title") %} {% section "header" %}