app.get('/api/rest/spec/tree', async (req, res, next) => {
    try {
      const specTree = await api.readSpecTree(specDir);
      return res.send(specTree);
    } catch (error) {