agent.json names /openapi.json, which this site now serves (#87)

ddiff --git a/server/agent-descriptor.js b/server/agent-descriptor.js
iindex 919a0ee..7f3d5b2 100644
---- a/server/agent-descriptor.js
++++ b/server/agent-descriptor.js
@@@ -1,6 +1,7 @@
  'use strict';
  // What openvibe.today tells an agent about itself (openvibe-shared/agent-layer): /.well-known/agent.json.
  // Every field is something this site really serves; no OpenAPI document is published for Today, so none is named.
++// 11-03 (SEO-3): this site serves /openapi.json now (the contracts' document for it), so it is named below.
  module.exports = {
      id: 'today',
      name: 'OpenVibe.Today',
@@@ -9,6 +10,7 @@ module.exports = {
      site: 'openvibe.today',
      api: '/api/v1',
      docs: '/developers',
++    openapi: '/openapi.json',
      policy: {
          auth: ['none', 'Network OIDC'],
          rateLimit: '240 API requests a minute per address; 300 page requests a minute',