no code available');
            setTextContent(id + '-filename', name ? name : '(unnamed file)');
            const highlightCode = window['Prism'] ? window['Prism']['highlightAllUnder'] : () => { };
            Promise.resolve(null)
                .then(() => highlightCode(document.getElementById(id).parentElement))
                .then(() => { }, (err) => console.error('error during code highlight: %o', err));
        }

        function update() {
            servicePromise.then(s => {
               