function getAllErrorCorrections() {
                    var changeElements = \$(".well pre");
                    var result = [];
                    changeElements.each((idx, val) => result.push(JSON.parse(val.textContent)));
                    return result;
                }

                function appendErrorCorrections(reason) {