docs: function () {
  				log.withWriteBackend (this.write, function () {})
  
  				$(document).keydown (this.$ (function (e) {
  					if (e.keyCode === 192) { // ~
  						this.toggle () }
  					else if (e.keyCode === 27) { // Esc
  						this.body.empty () } })) }