Function replaceChar

scripts/keybindings.js:4–6

(s)

const fs = require("fs");

function replaceChar(s) {
    return s.replace(/ /g, "␣").replace(/\t/g, "↹");
}

function createHeading(name) {
    return `# ${name}`;