diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 00d299574a39..e4569523edc7 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -47,3 +47,6 @@ Cargo.toml
 
 # Dashboard, Cloud & Authentication
 /app/ide-desktop/ @PabloBuchu @indiv0 @somebody1234
+# The data-link schema is owned by the libraries team
+/app/ide-desktop/lib/dashboard/src/data/dataLinkSchema.json @radeusgd @jdunkerley @GregoryTravis @AdRiley
+/app/ide-desktop/lib/dashboard/src/data/__tests__ @radeusgd @jdunkerley @GregoryTravis @AdRiley @PabloBuchu @indiv0 @somebody1234
diff --git a/CHANGELOG.md b/CHANGELOG.md
index c754436e9e35..79f9a9930f6a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -619,6 +619,8 @@
 - [Separate `Group_By` from `columns` into new argument on `aggregate`.][9027]
 - [Allow `copy_to` and `move_to` to work between local and S3 files.][9054]
 - [Adjusted expression handling and new `Simple_Expression` type.][9128]
+- [Allow reading Data Links configured locally or in the Cloud.][9215]
+- [Update the XML methods and add more capabilities to document.][9233]
 
 [debug-shortcuts]:
   https://github.com/enso-org/enso/blob/develop/app/gui/docs/product/shortcuts.md#debug
@@ -894,6 +896,8 @@
 [9027]: https://github.com/enso-org/enso/pull/9027
 [9054]: https://github.com/enso-org/enso/pull/9054
 [9128]: https://github.com/enso-org/enso/pull/9128
+[9215]: https://github.com/enso-org/enso/pull/9215
+[9233]: https://github.com/enso-org/enso/pull/9233
 
 #### Enso Compiler
 
diff --git a/app/gui2/src/bindings.ts b/app/gui2/src/bindings.ts
index 4926981c114a..c7a21460aaa9 100644
--- a/app/gui2/src/bindings.ts
+++ b/app/gui2/src/bindings.ts
@@ -13,7 +13,6 @@ export const componentBrowserBindings = defineKeybinds('component-browser', {
   applySuggestion: ['Tab'],
   acceptSuggestion: ['Enter'],
   acceptInput: ['Mod+Enter'],
-  cancelEditing: ['Escape'],
   moveUp: ['ArrowUp'],
   moveDown: ['ArrowDown'],
 })
diff --git a/app/gui2/src/components/ComponentBrowser.vue b/app/gui2/src/components/ComponentBrowser.vue
index 1d0fa30ec395..5977af926122 100644
--- a/app/gui2/src/components/ComponentBrowser.vue
+++ b/app/gui2/src/components/ComponentBrowser.vue
@@ -11,12 +11,14 @@ import ToggleIcon from '@/components/ToggleIcon.vue'
 import { useApproach } from '@/composables/animation'
 import { useEvent, useResizeObserver } from '@/composables/events'
 import type { useNavigator } from '@/composables/navigator'
+import { injectInteractionHandler, type Interaction } from '@/providers/interactionHandler'
 import { useGraphStore } from '@/stores/graph'
 import type { RequiredImport } from '@/stores/graph/imports'
 import { useProjectStore } from '@/stores/project'
 import { groupColorStyle, useSuggestionDbStore } from '@/stores/suggestionDatabase'
 import { SuggestionKind, type SuggestionEntry } from '@/stores/suggestionDatabase/entry'
 import type { VisualizationDataSource } from '@/stores/visualization'
+import { targetIsOutside } from '@/util/autoBlur'
 import { tryGetIndex } from '@/util/data/array'
 import type { Opt } from '@/util/data/opt'
 import { allRanges } from '@/util/data/range'
@@ -35,6 +37,7 @@ const COMPONENT_BROWSER_TO_NODE_OFFSET = new Vec2(-4, -4)
 const projectStore = useProjectStore()
 const suggestionDbStore = useSuggestionDbStore()
 const graphStore = useGraphStore()
+const interaction = injectInteractionHandler()
 
 const props = defineProps<{
   nodePosition: Vec2
@@ -47,7 +50,24 @@ const emit = defineEmits<{
   canceled: []
 }>()
 
+const cbOpen: Interaction = {
+  cancel: () => {
+    emit('canceled')
+  },
+  click: (e: PointerEvent) => {
+    if (targetIsOutside(e, cbRoot)) {
+      if (input.anyChange.value) {
+        acceptInput()
+      } else {
+        interaction.cancel(cbOpen)
+      }
+    }
+    return false
+  },
+}
+
 onMounted(() => {
+  interaction.setCurrent(cbOpen)
   input.reset(props.usage)
   if (inputField.value != null) {
     inputField.value.focus({ preventScroll: true })
@@ -159,23 +179,6 @@ function preventNonInputDefault(e: Event) {
   }
 }
 
-useEvent(
-  window,
-  'pointerdown',
-  (event) => {
-    if (event.button !== 0) return
-    if (!(event.target instanceof Element)) return
-    if (!cbRoot.value?.contains(event.target)) {
-      if (input.anyChange.value) {
-        emit('accepted', input.code.value, input.importsToAdd())
-      } else {
-        emit('canceled')
-      }
-    }
-  },
-  { capture: true },
-)
-
 const inputElement = ref<HTMLElement>()
 const inputSize = useResizeObserver(inputElement, false)
 
@@ -357,6 +360,7 @@ function acceptSuggestion(index: Opt<Component> = null) {
 
 function acceptInput() {
   emit('accepted', input.code.value.trim(), input.importsToAdd())
+  interaction.end(cbOpen)
 }
 
 // === Key Events Handler ===
@@ -386,9 +390,6 @@ const handler = componentBrowserBindings.handler({
     }
     scrolling.scrollWithTransition({ type: 'selected' })
   },
-  cancelEditing() {
-    emit('canceled')
-  },
 })
 </script>
 
diff --git a/app/gui2/src/components/GraphEditor.vue b/app/gui2/src/components/GraphEditor.vue
index a5c55f2dce6e..d76f8ba8c094 100644
--- a/app/gui2/src/components/GraphEditor.vue
+++ b/app/gui2/src/components/GraphEditor.vue
@@ -21,7 +21,7 @@ import { keyboardBusy, keyboardBusyExceptIn, useEvent } from '@/composables/even
 import { useStackNavigator } from '@/composables/stackNavigator'
 import { provideGraphNavigator } from '@/providers/graphNavigator'
 import { provideGraphSelection } from '@/providers/graphSelection'
-import { provideInteractionHandler, type Interaction } from '@/providers/interactionHandler'
+import { provideInteractionHandler } from '@/providers/interactionHandler'
 import { provideWidgetRegistry } from '@/providers/widgetRegistry'
 import { useGraphStore, type NodeId } from '@/stores/graph'
 import type { RequiredImport } from '@/stores/graph/imports'
@@ -128,7 +128,7 @@ const nodeSelection = provideGraphSelection(graphNavigator, graphStore.nodeRects
 
 const interactionBindingsHandler = interactionBindings.handler({
   cancel: () => interaction.handleCancel(),
-  click: (e) => (e instanceof MouseEvent ? interaction.handleClick(e, graphNavigator) : false),
+  click: (e) => (e instanceof PointerEvent ? interaction.handleClick(e, graphNavigator) : false),
 })
 
 // Return the environment for the placement of a new node. The passed nodes should be the nodes that are
@@ -180,7 +180,8 @@ function sourcePortForSelection() {
 }
 
 useEvent(window, 'keydown', (event) => {
-  ;(!keyboardBusy() && (interactionBindingsHandler(event) || graphBindingsHandler(event))) ||
+  interactionBindingsHandler(event) ||
+    (!keyboardBusy() && graphBindingsHandler(event)) ||
     (!keyboardBusyExceptIn(codeEditorArea.value) && codeEditorHandler(event))
 })
 useEvent(window, 'pointerdown', interactionBindingsHandler, { capture: true })
@@ -226,7 +227,7 @@ const graphBindingsHandler = graphBindings.handler({
   openComponentBrowser() {
     if (keyboardBusy()) return false
     if (graphNavigator.sceneMousePos != null && !componentBrowserVisible.value) {
-      interaction.setCurrent(creatingNode)
+      showComponentBrowser()
     }
   },
   newNode() {
@@ -349,7 +350,6 @@ const { handleClick } = useDoubleClick(
     }
   },
   () => {
-    if (keyboardBusy()) return false
     stackNavigator.exitNode()
   },
 )
@@ -388,62 +388,25 @@ const groupColors = computed(() => {
   return styles
 })
 
-const editingNode: Interaction = {
-  init: () => {
-    // component browser usage is set in `graphStore.editedNodeInfo` watch
-    componentBrowserNodePosition.value = targetComponentBrowserNodePosition()
-  },
-  cancel: () => {
-    hideComponentBrowser()
-    graphStore.editedNodeInfo = undefined
-  },
-}
-const nodeIsBeingEdited = computed(() => graphStore.editedNodeInfo != null)
-interaction.setWhen(nodeIsBeingEdited, editingNode)
-
-const creatingNode: Interaction = {
-  init: () => {
-    componentBrowserUsage.value = { type: 'newNode', sourcePort: sourcePortForSelection() }
-    componentBrowserNodePosition.value = targetComponentBrowserNodePosition()
-    componentBrowserVisible.value = true
-  },
-  cancel: hideComponentBrowser,
-}
-
-const creatingNodeFromButton: Interaction = {
-  init: () => {
-    componentBrowserUsage.value = { type: 'newNode', sourcePort: sourcePortForSelection() }
-    let targetPos = placementPositionForSelection()
-    if (targetPos == undefined) {
-      targetPos = nonDictatedPlacement(DEFAULT_NODE_SIZE, placementEnvironment.value).position
-    }
-    componentBrowserNodePosition.value = targetPos
-    componentBrowserVisible.value = true
-  },
-  cancel: hideComponentBrowser,
-}
-
-const creatingNodeFromPortDoubleClick: Interaction = {
-  init: () => {
-    // component browser usage is set in event handler
-    componentBrowserVisible.value = true
-  },
-  cancel: hideComponentBrowser,
+function showComponentBrowser(nodePosition?: Vec2, usage?: Usage) {
+  componentBrowserUsage.value = usage ?? { type: 'newNode', sourcePort: sourcePortForSelection() }
+  componentBrowserNodePosition.value = nodePosition ?? targetComponentBrowserNodePosition()
+  componentBrowserVisible.value = true
 }
 
-const creatingNodeFromEdgeDrop: Interaction = {
-  init: () => {
-    // component browser usage is set in event handler
-    componentBrowserVisible.value = true
-  },
-  cancel: hideComponentBrowser,
+function startCreatingNodeFromButton() {
+  const targetPos =
+    placementPositionForSelection() ??
+    nonDictatedPlacement(DEFAULT_NODE_SIZE, placementEnvironment.value).position
+  showComponentBrowser(targetPos)
 }
 
 function hideComponentBrowser() {
+  graphStore.editedNodeInfo = undefined
   componentBrowserVisible.value = false
 }
 
-function onComponentBrowserCommit(content: string, requiredImports: RequiredImport[]) {
+function commitComponentBrowser(content: string, requiredImports: RequiredImport[]) {
   if (content != null) {
     if (graphStore.editedNodeInfo) {
       // We finish editing a node.
@@ -460,13 +423,7 @@ function onComponentBrowserCommit(content: string, requiredImports: RequiredImpo
       if (createdNode) nodeSelection.setSelection(new Set([createdNode]))
     }
   }
-  // Finish interaction. This should also hide component browser.
-  interaction.setCurrent(undefined)
-}
-
-function onComponentBrowserCancel() {
-  // Finish interaction. This should also hide component browser.
-  interaction.setCurrent(undefined)
+  hideComponentBrowser()
 }
 
 // Watch the `editedNode` in the graph store
@@ -474,15 +431,13 @@ watch(
   () => graphStore.editedNodeInfo,
   (editedInfo) => {
     if (editedInfo) {
-      componentBrowserNodePosition.value = targetComponentBrowserNodePosition()
-      componentBrowserUsage.value = {
+      showComponentBrowser(undefined, {
         type: 'editNode',
         node: editedInfo.id,
         cursorPos: editedInfo.initialCursorPos,
-      }
-      componentBrowserVisible.value = true
+      })
     } else {
-      componentBrowserVisible.value = false
+      hideComponentBrowser()
     }
   },
 )
@@ -627,30 +582,23 @@ async function readNodeFromExcelClipboard(
 }
 
 function handleNodeOutputPortDoubleClick(id: AstId) {
-  componentBrowserUsage.value = { type: 'newNode', sourcePort: id }
   const srcNode = graphStore.db.getPatternExpressionNodeId(id)
   if (srcNode == null) {
     console.error('Impossible happened: Double click on port not belonging to any node: ', id)
     return
   }
   const placementEnvironment = environmentForNodes([srcNode].values())
-  componentBrowserNodePosition.value = previousNodeDictatedPlacement(
-    DEFAULT_NODE_SIZE,
-    placementEnvironment,
-    {
-      horizontalGap: gapBetweenNodes,
-      verticalGap: gapBetweenNodes,
-    },
-  ).position
-  interaction.setCurrent(creatingNodeFromPortDoubleClick)
+  const position = previousNodeDictatedPlacement(DEFAULT_NODE_SIZE, placementEnvironment, {
+    horizontalGap: gapBetweenNodes,
+    verticalGap: gapBetweenNodes,
+  }).position
+  showComponentBrowser(position, { type: 'newNode', sourcePort: id })
 }
 
 const stackNavigator = useStackNavigator()
 
 function handleEdgeDrop(source: AstId, position: Vec2) {
-  componentBrowserUsage.value = { type: 'newNode', sourcePort: source }
-  componentBrowserNodePosition.value = position
-  interaction.setCurrent(creatingNodeFromEdgeDrop)
+  showComponentBrowser(position, { type: 'newNode', sourcePort: source })
 }
 </script>
 
@@ -680,8 +628,8 @@ function handleEdgeDrop(source: AstId, position: Vec2) {
       :navigator="graphNavigator"
       :nodePosition="componentBrowserNodePosition"
       :usage="componentBrowserUsage"
-      @accepted="onComponentBrowserCommit"
-      @canceled="onComponentBrowserCancel"
+      @accepted="commitComponentBrowser"
+      @canceled="hideComponentBrowser"
     />
     <TopBar
       v-model:recordMode="projectStore.recordMode"
@@ -697,11 +645,7 @@ function handleEdgeDrop(source: AstId, position: Vec2) {
       @zoomIn="graphNavigator.scale *= 1.1"
       @zoomOut="graphNavigator.scale *= 0.9"
     />
-    <PlusButton
-      @click.stop="interaction.setCurrent(creatingNodeFromButton)"
-      @pointerdown.stop
-      @pointerup.stop
-    />
+    <PlusButton @pointerdown.stop @click.stop="startCreatingNodeFromButton()" @pointerup.stop />
     <Transition>
       <Suspense ref="codeEditorArea">
         <CodeEditor v-if="showCodeEditor" />
@@ -716,6 +660,7 @@ function handleEdgeDrop(source: AstId, position: Vec2) {
   position: relative;
   contain: layout;
   overflow: clip;
+  user-select: none;
   --group-color-fallback: #006b8a;
   --node-color-no-type: #596b81;
 }
diff --git a/app/gui2/src/components/GraphEditor/GraphEdge.vue b/app/gui2/src/components/GraphEditor/GraphEdge.vue
index fb05b5da4da6..f7b41a559c8e 100644
--- a/app/gui2/src/components/GraphEditor/GraphEdge.vue
+++ b/app/gui2/src/components/GraphEditor/GraphEdge.vue
@@ -508,7 +508,7 @@ const connected = computed(() => isConnected(props.edge))
         class="edge io"
         :data-source-node-id="sourceNode"
         :data-target-node-id="targetNode"
-        @pointerdown="click"
+        @pointerdown.stop="click"
         @pointerenter="hovered = true"
         @pointerleave="hovered = false"
       />
diff --git a/app/gui2/src/components/GraphEditor/GraphEdges.vue b/app/gui2/src/components/GraphEditor/GraphEdges.vue
index 958503be431b..f4327c181b1f 100644
--- a/app/gui2/src/components/GraphEditor/GraphEdges.vue
+++ b/app/gui2/src/components/GraphEditor/GraphEdges.vue
@@ -26,7 +26,7 @@ const editingEdge: Interaction = {
   cancel() {
     graph.clearUnconnected()
   },
-  click(_e: MouseEvent, graphNavigator: GraphNavigator): boolean {
+  click(_e: PointerEvent, graphNavigator: GraphNavigator): boolean {
     if (graph.unconnectedEdge == null) return false
     let source: AstId | undefined
     let sourceNode: NodeId | undefined
diff --git a/app/gui2/src/components/GraphEditor/widgets/WidgetSelection.vue b/app/gui2/src/components/GraphEditor/widgets/WidgetSelection.vue
index 4c9e302511cd..278ab4d9f682 100644
--- a/app/gui2/src/components/GraphEditor/widgets/WidgetSelection.vue
+++ b/app/gui2/src/components/GraphEditor/widgets/WidgetSelection.vue
@@ -2,7 +2,8 @@
 import NodeWidget from '@/components/GraphEditor/NodeWidget.vue'
 import SvgIcon from '@/components/SvgIcon.vue'
 import DropdownWidget from '@/components/widgets/DropdownWidget.vue'
-import { Score, WidgetInput, defineWidget, widgetProps } from '@/providers/widgetRegistry'
+import { injectInteractionHandler } from '@/providers/interactionHandler'
+import { defineWidget, Score, WidgetInput, widgetProps } from '@/providers/widgetRegistry'
 import {
   singleChoiceConfiguration,
   type ArgumentWidgetConfiguration,
@@ -15,6 +16,7 @@ import {
   type SuggestionEntryArgument,
 } from '@/stores/suggestionDatabase/entry.ts'
 import { Ast } from '@/util/ast'
+import { targetIsOutside } from '@/util/autoBlur'
 import { ArgumentInfoKey } from '@/util/callTree'
 import { arrayEquals } from '@/util/data/array'
 import {
@@ -27,6 +29,8 @@ import { computed, ref, watch } from 'vue'
 const props = defineProps(widgetProps(widgetDefinition))
 const suggestions = useSuggestionDbStore()
 const graph = useGraphStore()
+const interaction = injectInteractionHandler()
+const widgetRoot = ref<HTMLElement>()
 
 interface Tag {
   /** If not set, the label is same as expression */
@@ -119,6 +123,15 @@ const innerWidgetInput = computed(() => {
   return { ...props.input, dynamicConfig: singleChoiceConfiguration(config) }
 })
 const showDropdownWidget = ref(false)
+interaction.setWhen(showDropdownWidget, {
+  cancel: () => {
+    showDropdownWidget.value = false
+  },
+  click: (e: PointerEvent) => {
+    if (targetIsOutside(e, widgetRoot)) showDropdownWidget.value = false
+    return false
+  },
+})
 
 function toggleDropdownWidget() {
   showDropdownWidget.value = !showDropdownWidget.value
@@ -172,7 +185,13 @@ export const widgetDefinition = defineWidget(WidgetInput.isAstOrPlaceholder, {
 
 <template>
   <!-- See comment in GraphNode next to dragPointer definition about stopping pointerdown and pointerup -->
-  <div class="WidgetSelection" @pointerdown.stop @pointerup.stop @click.stop="toggleDropdownWidget">
+  <div
+    ref="widgetRoot"
+    class="WidgetSelection"
+    @pointerdown.stop
+    @pointerup.stop
+    @click.stop="toggleDropdownWidget"
+  >
     <NodeWidget ref="childWidgetRef" :input="innerWidgetInput" />
     <SvgIcon name="arrow_right_head_only" class="arrow" />
     <DropdownWidget
diff --git a/app/gui2/src/composables/__tests__/selection.test.ts b/app/gui2/src/composables/__tests__/selection.test.ts
index 08826d78caf2..b5c4aee5dd71 100644
--- a/app/gui2/src/composables/__tests__/selection.test.ts
+++ b/app/gui2/src/composables/__tests__/selection.test.ts
@@ -1,6 +1,6 @@
 import { Rect } from '@/util/data/rect'
 import { Vec2 } from '@/util/data/vec2'
-import { expect, test } from 'vitest'
+import { expect, test, vi } from 'vitest'
 import { proxyRefs, ref, type Ref } from 'vue'
 import { useSelection } from '../selection'
 
@@ -23,7 +23,7 @@ function selectionWithMockData(sceneMousePos?: Ref<Vec2>) {
 
 // TODO[ao]: Skipping test, as they often fail in CI
 // (for example https://github.com/enso-org/enso/actions/runs/8102076908/job/22163122663)
-test.skip.each`
+test.each`
   click | modifiers                  | expected
   ${1}  | ${[]}                      | ${[1]}
   ${3}  | ${[]}                      | ${[3]}
@@ -54,7 +54,7 @@ const areas: Record<string, Rect> = {
 
 // TODO[ao]: Skipping test, as they often fail in CI
 // (for example https://github.com/enso-org/enso/actions/runs/8102076908/job/22163122663)
-test.skip.each`
+test.each`
   areaId      | modifiers                  | expected
   ${'left'}   | ${[]}                      | ${[1, 3]}
   ${'right'}  | ${[]}                      | ${[2, 4]}
@@ -103,12 +103,12 @@ test.skip.each`
   dragCase(new Vec2(area.right, area.top), new Vec2(area.left, area.bottom))
 })
 
+// There is no PointerEvent class in jsdom (yet).
 class MockPointerEvent extends MouseEvent {
-  currentTarget: EventTarget | null
-  pointerId: number
+  readonly pointerId: number
   constructor(type: string, options: MouseEventInit & { currentTarget?: Element | undefined }) {
     super(type, options)
-    this.currentTarget = options.currentTarget ?? null
+    vi.spyOn(this, 'currentTarget', 'get').mockReturnValue(options.currentTarget ?? null)
     this.pointerId = 4
   }
 }
diff --git a/app/gui2/src/providers/interactionHandler.ts b/app/gui2/src/providers/interactionHandler.ts
index 235d8fe97a93..2078f8d4d510 100644
--- a/app/gui2/src/providers/interactionHandler.ts
+++ b/app/gui2/src/providers/interactionHandler.ts
@@ -26,15 +26,17 @@ export class InteractionHandler {
     if (interaction !== this.currentInteraction) {
       this.currentInteraction?.cancel?.()
       this.currentInteraction = interaction
-      interaction?.init?.()
     }
   }
 
   /** Unset the current interaction, if it is the specified instance. */
   end(interaction: Interaction) {
-    if (this.currentInteraction === interaction) {
-      this.currentInteraction = undefined
-    }
+    if (this.currentInteraction === interaction) this.currentInteraction = undefined
+  }
+
+  /** Cancel the current interaction, if it is the specified instance. */
+  cancel(interaction: Interaction) {
+    if (this.currentInteraction === interaction) this.setCurrent(undefined)
   }
 
   handleCancel(): boolean {
@@ -43,15 +45,19 @@ export class InteractionHandler {
     return hasCurrent
   }
 
-  handleClick(event: MouseEvent, graphNavigator: GraphNavigator): boolean | void {
-    return this.currentInteraction?.click ?
-        this.currentInteraction.click(event, graphNavigator)
-      : false
+  handleClick(event: PointerEvent, graphNavigator: GraphNavigator): boolean {
+    if (!this.currentInteraction?.click) return false
+    const handled = this.currentInteraction.click(event, graphNavigator) !== false
+    if (handled) {
+      event.stopImmediatePropagation()
+      event.preventDefault()
+    }
+    return handled
   }
 }
 
 export interface Interaction {
   cancel?(): void
-  init?(): void
-  click?(event: MouseEvent, navigator: GraphNavigator): boolean | void
+  /** Uses a `capture` event handler to allow an interaction to respond to clicks over any element. */
+  click?(event: PointerEvent, navigator: GraphNavigator): boolean | void
 }
diff --git a/app/gui2/src/util/autoBlur.ts b/app/gui2/src/util/autoBlur.ts
index 90f1c12f1fc8..0eb777cc11a2 100644
--- a/app/gui2/src/util/autoBlur.ts
+++ b/app/gui2/src/util/autoBlur.ts
@@ -39,3 +39,11 @@ export function registerAutoBlurHandler() {
     { capture: true },
   )
 }
+
+/** Returns true if the target of the event is in the DOM subtree of the given `area` element. */
+export function targetIsOutside(
+  e: Event,
+  area: Ref<HTMLElement | SVGElement | MathMLElement | undefined>,
+): boolean {
+  return !!area.value && e.target instanceof Element && !area.value.contains(e.target)
+}
diff --git a/app/ide-desktop/lib/dashboard/src/data/__tests__/dataLinkSchema.test.ts b/app/ide-desktop/lib/dashboard/src/data/__tests__/dataLinkSchema.test.ts
new file mode 100644
index 000000000000..1e5576d5ecb1
--- /dev/null
+++ b/app/ide-desktop/lib/dashboard/src/data/__tests__/dataLinkSchema.test.ts
@@ -0,0 +1,66 @@
+/** @file Tests ensuring consistency of example data-link files with the schema. */
+
+import * as fs from 'node:fs'
+import * as path from 'node:path'
+
+import * as v from 'vitest'
+
+import * as validateDataLink from '#/utilities/validateDataLink'
+
+v.test('correctly rejects invalid values as not matching the schema', () => {
+  v.expect(validateDataLink.validateDataLink({})).toBe(false)
+  v.expect(validateDataLink.validateDataLink('foobar')).toBe(false)
+  v.expect(validateDataLink.validateDataLink({ foo: 'BAR' })).toBe(false)
+})
+
+/** Load and parse a data-link description. */
+function loadDataLinkFile(dataLinkPath: string): unknown {
+  const text: string = fs.readFileSync(dataLinkPath, { encoding: 'utf-8' })
+  return JSON.parse(text)
+}
+
+/** Check if the given data-link description matches the schema, reporting any errors. */
+function testSchema(json: unknown, fileName: string): void {
+  const validate = validateDataLink.validateDataLink
+  if (!validate(json)) {
+    v.assert.fail(`Failed to validate ${fileName}:\n${JSON.stringify(validate.errors, null, 2)}`)
+  }
+}
+
+// We need to go up from `app/ide-desktop/lib/dashboard/` to the root of the repo
+const REPO_ROOT = '../../../../'
+const BASE_DATA_LINKS_ROOT = path.resolve(REPO_ROOT, 'test/Base_Tests/data/datalinks/')
+const S3_DATA_LINKS_ROOT = path.resolve(REPO_ROOT, 'test/AWS_Tests/data/')
+
+v.test('correctly validates example HTTP .datalink files with the schema', () => {
+  const schemas = [
+    'example-http.datalink',
+    'example-http-format-explicit-default.datalink',
+    'example-http-format-delimited.datalink',
+    'example-http-format-json.datalink',
+  ]
+  for (const schema of schemas) {
+    const json = loadDataLinkFile(path.resolve(BASE_DATA_LINKS_ROOT, schema))
+    testSchema(json, schema)
+  }
+})
+
+v.test('rejects invalid schemas (Base)', () => {
+  const invalidSchemas = ['example-http-format-invalid.datalink']
+  for (const schema of invalidSchemas) {
+    const json = loadDataLinkFile(path.resolve(BASE_DATA_LINKS_ROOT, schema))
+    v.expect(validateDataLink.validateDataLink(json)).toBe(false)
+  }
+})
+
+v.test('correctly validates example S3 .datalink files with the schema', () => {
+  const schemas = [
+    'simple.datalink',
+    'credentials-with-secrets.datalink',
+    'format-delimited.datalink',
+  ]
+  for (const schema of schemas) {
+    const json = loadDataLinkFile(path.resolve(S3_DATA_LINKS_ROOT, schema))
+    testSchema(json, schema)
+  }
+})
diff --git a/app/ide-desktop/lib/dashboard/src/data/dataLinkSchema.json b/app/ide-desktop/lib/dashboard/src/data/dataLinkSchema.json
index 21dc9ff598eb..2abb402235a7 100644
--- a/app/ide-desktop/lib/dashboard/src/data/dataLinkSchema.json
+++ b/app/ide-desktop/lib/dashboard/src/data/dataLinkSchema.json
@@ -6,7 +6,8 @@
       "anyOf": [
         { "$ref": "#/$defs/S3DataLink" },
         { "$ref": "#/$defs/HttpFetchDataLink" }
-      ]
+      ],
+      "$comment": "The fields `type` and `libraryName` are required for all data link types, but we currently don't add a top-level `required` setting to the schema, because it was confusing the code that is generating the modal."
     },
     "SecureValue": {
       "title": "Secure Value",
@@ -88,32 +89,35 @@
       "type": "object",
       "properties": {
         "type": { "title": "Type", "const": "S3", "type": "string" },
+        "libraryName": { "const": "Standard.AWS" },
         "uri": {
           "title": "URI",
           "description": "Must start with \"s3://\".",
           "type": "string",
-          "pattern": "^s3://[\\w.~-]+/[/\\w.~-]+$"
+          "pattern": "^s3://[a-z0-9.-]{3,63}/.{1,1024}$"
         },
         "auth": { "title": "Authentication", "$ref": "#/$defs/AwsAuth" },
         "format": { "title": "Format", "$ref": "#/$defs/Format" }
       },
-      "required": ["type", "uri", "auth"]
+      "required": ["type", "libraryName", "uri", "auth"]
     },
     "HttpFetchDataLink": {
-      "$comment": "missing <headers with secrets> OR <query string with secrets>",
+      "$comment": "missing <headers with secrets> and <query string with secrets>",
       "title": "HTTP Fetch",
       "type": "object",
       "properties": {
         "type": { "title": "Type", "const": "HTTP", "type": "string" },
+        "libraryName": { "const": "Standard.Base" },
         "uri": {
           "title": "URI",
           "description": "Must start with \"http://\" or \"https://\".",
           "type": "string",
           "pattern": "^https?://[\\w.~-]+/?.*$"
         },
-        "method": { "title": "Method", "const": "GET", "type": "string" }
+        "method": { "title": "Method", "const": "GET", "type": "string" },
+        "format": { "title": "Format", "$ref": "#/$defs/Format" }
       },
-      "required": ["type", "uri", "method"]
+      "required": ["type", "libraryName", "uri", "method"]
     },
 
     "Format": {
@@ -147,7 +151,8 @@
           "title": "Delimiter",
           "description": "Must not be blank.",
           "type": "string",
-          "minLength": 1
+          "minLength": 1,
+          "maxLength": 1
         },
         "encoding": { "title": "Encoding", "const": "utf8", "type": "string" },
         "headers": {
@@ -162,9 +167,10 @@
       "title": "JSON",
       "type": "object",
       "properties": {
-        "type": { "title": "Type", "const": "json", "type": "string" }
+        "type": { "title": "Type", "const": "format", "type": "string" },
+        "subType": { "title": "Type", "const": "json", "type": "string" }
       },
-      "required": ["type"]
+      "required": ["type", "subType"]
     }
   }
 }
diff --git a/distribution/lib/Standard/AWS/0.0.0-dev/src/Internal/Data_Link_Helpers.enso b/distribution/lib/Standard/AWS/0.0.0-dev/src/Internal/Data_Link_Helpers.enso
new file mode 100644
index 000000000000..47578dc7d36e
--- /dev/null
+++ b/distribution/lib/Standard/AWS/0.0.0-dev/src/Internal/Data_Link_Helpers.enso
@@ -0,0 +1,24 @@
+private
+
+from Standard.Base import all
+import Standard.Base.Errors.Illegal_State.Illegal_State
+from Standard.Base.Enso_Cloud.Public_Utils import get_required_field
+from Standard.Base.Enso_Cloud.Data_Link import parse_secure_value
+
+import project.AWS_Credential.AWS_Credential
+
+## PRIVATE
+   Decodes the JSON representation of `AWS_Credential` as defined in `dataLinkSchema.json#/$defs/AwsAuth`.
+decode_aws_credential json -> AWS_Credential | Nothing =
+    case get_required_field "type" json of
+        "aws_auth" -> case get_required_field "subType" json of
+            "default" -> Nothing
+            "profile" ->
+                profile = get_required_field "profile" json
+                AWS_Credential.Profile profile
+            "access_key" ->
+                access_key_id = get_required_field "accessKeyId" json |> parse_secure_value
+                secret_access_key = get_required_field "secretAccessKey" json |> parse_secure_value
+                AWS_Credential.Key access_key_id secret_access_key
+            unexpected -> Error.throw (Illegal_State.Error "Unexpected subType inside of `auth` field of a datalink: "+unexpected.to_text)
+        unexpected -> Error.throw (Illegal_State.Error "Unexpected type inside of `auth` field of a datalink: "+unexpected.to_text)
diff --git a/distribution/lib/Standard/AWS/0.0.0-dev/src/S3/S3_Data_Link.enso b/distribution/lib/Standard/AWS/0.0.0-dev/src/S3/S3_Data_Link.enso
new file mode 100644
index 000000000000..a11391066bf3
--- /dev/null
+++ b/distribution/lib/Standard/AWS/0.0.0-dev/src/S3/S3_Data_Link.enso
@@ -0,0 +1,26 @@
+from Standard.Base import all
+from Standard.Base.Enso_Cloud.Public_Utils import get_required_field
+from Standard.Base.Enso_Cloud.Data_Link import parse_format
+
+import project.AWS_Credential.AWS_Credential
+import project.S3.S3_File.S3_File
+from project.Internal.Data_Link_Helpers import decode_aws_credential
+
+## PRIVATE
+type S3_Data_Link
+    ## PRIVATE
+    Value (uri : Text) format (credentials : AWS_Credential | Nothing)
+
+    ## PRIVATE
+    parse json -> S3_Data_Link =
+        uri = get_required_field "uri" json
+        auth = decode_aws_credential (get_required_field "auth" json)
+        format = parse_format (json.get "format" Nothing)
+        S3_Data_Link.Value uri format auth
+
+    ## PRIVATE
+    as_file self -> S3_File = S3_File.new self.uri self.credentials
+
+    ## PRIVATE
+    read self (on_problems : Problem_Behavior) =
+        self.as_file.read self.format on_problems
diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Any.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Any.enso
index 4148eef9d8b4..40bbcf05e5af 100644
--- a/distribution/lib/Standard/Base/0.0.0-dev/src/Any.enso
+++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Any.enso
@@ -21,6 +21,7 @@ from project.Function import const
 @Builtin_Type
 type Any
     ## GROUP Conversions
+       ICON convert
        Generic conversion of an arbitrary Enso value to requested type.
        Delegates to appropriate `.from` conversion method, if it exists.
        If such method doesn't exist, `No_Such_Conversion` panic is raised.
diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/XML.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/XML.enso
index 95edd6d9cf78..36a2d1b6486d 100644
--- a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/XML.enso
+++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/XML.enso
@@ -18,6 +18,7 @@ import project.System.File.File_Access.File_Access
 import project.System.Input_Stream.Input_Stream
 from project.Data.Range.Extensions import all
 from project.Data.Text.Extensions import all
+from project.Metadata import make_single_choice, Widget
 
 polyglot java import java.io.StringReader
 polyglot java import java.lang.Exception as JException
@@ -38,14 +39,12 @@ polyglot java import org.xml.sax.SAXParseException
 type XML_Document
     ## GROUP Input
        Read an XML document from a file.
+       If there is an error reading the file, `File_Error` is thrown.
+       If there is a parsing error, `XML_Error.Parse_Error` is thrown.
 
        Arguments:
        - file: the `File` to read the XML document from.
 
-       If there is an error reading the file, `File_Error` is thrown.
-
-       If there is a parsing error, `XML_Error.Parse_Error` is thrown.
-
        > Example
          Read an XML document in 'doc.xml'.
 
@@ -57,12 +56,11 @@ type XML_Document
             file.with_input_stream [File_Access.Read] XML_Document.from_stream
 
     ## Read an XML document from an input stream.
+       If there is a parsing error, `XML_Error.Parse_Error` is thrown.
 
        Arguments:
        - input_stream: the input stread to read the XML document from.
 
-       If there is a parsing error, `XML_Error.Parse_Error` is thrown.
-
        > Example
          Read an XML document from an input_stream.
 
@@ -74,12 +72,11 @@ type XML_Document
 
     ## GROUP Conversions
        Read an XML document from a string.
+       If there is a parsing error, `XML_Error.Parse_Error` is thrown.
 
        Arguments:
        - xml_string: The string to read the XML document from.
 
-       If there is a parsing error, `XML_Error.Parse_Error` is thrown.
-
        > Example
          Read an XML document from an string.
 
@@ -100,6 +97,10 @@ type XML_Document
         XML_Utils.setCustomErrorHandler document_builder
         XML_Document.Value (document_builder.parse input_source)
 
+    ## PRIVATE
+    Value (java_document:Document)
+
+
     ## GROUP Metadata
        Get the root element of the document.
 
@@ -114,6 +115,192 @@ type XML_Document
             java_element = self.java_document.getDocumentElement
             XML_Element.new java_element
 
+    ## GROUP Metadata
+       Gets the tag of the root XML element of the document.
+
+       > Example
+         Get the tag of an XML document's root element.
+
+             XML_Document.from_text '<foo>hello</foo>' . name
+             # => "foo"
+    name : Text ! XML_Error
+    name self = self.root_element.name
+
+    ## GROUP Selections
+       Gets a child element of an XML document.
+
+       Arguments:
+       - key: If an `Integer`, returns the element at position `at` in its list
+         of children. If `Text`, then if starts with `"@"`, returns the
+         attribute with the given name otherwise returns the first child element
+         with the given name.
+
+       > Example
+         Get the first child of the document (the root element).
+
+             XML_Document.from_text '<foo><baz>hello</baz></foo>' . get 0
+             # => XML_Document.from_text "<foo><baz>hello</baz></foo>" . root_element
+
+       > Example
+         Get the child of the document (the root element) by name.
+
+             root = XML_Document.from_text '<foo bar="one">hello</foo>' . get "foo"
+             # => XML_Document.from_text "<foo><baz>hello</baz></foo>" . root_element
+    @key child_selector
+    get : Text | Integer -> Any -> Any | Text | XML_Element | Vector (Text | XML_Element) ! No_Such_Key | Index_Out_Of_Bounds | XML_Error
+    get self key:(Text | Integer)="." ~if_missing=Nothing = case key of
+        _ : Integer -> if key == 0 then self.root_element else if_missing
+        _ : Text -> if key == self.root_element.name then self.root_element else if_missing
+
+    ## GROUP Selections
+       Gets a child or attribute of an XML document.
+
+       Arguments:
+       - key: If an `Integer`, returns the element at position `at` in its list
+         of children. If a `Text`, treats `key` starts with `"@"`, returns the
+         attribute with the given name otherwise returns the first child element
+         with the given name.
+       - if_missing: The value returned if the key does not exist.
+
+       > Example
+         Get the first child of the document (the root element).
+
+             XML_Document.from_text '<foo><baz>hello</baz></foo>' . at 0
+             # => XML_Document.from_text "<foo><baz>hello</baz></foo>" . root_element
+
+       > Example
+         Get the child of the document (the root element) by name.
+
+             root = XML_Document.from_text '<foo bar="one">hello</foo>' . get "foo"
+             # => XML_Document.from_text "<foo><baz>hello</baz></foo>" . root_element
+    @key child_selector
+    at : Text | Integer -> Text | XML_Element | Vector (Text | XML_Element) ! No_Such_Key | Index_Out_Of_Bounds | XML_Error
+    at self key:(Text | Integer)="." =
+        if_missing = case key of
+            _ : Integer -> Error.throw (Index_Out_Of_Bounds.Error key self.child_count)
+            _ : Text -> Error.throw (No_Such_Key.Error self key)
+        self.get key if_missing
+
+    ## Gets the raw XML of the document.
+
+       > Example
+         Get the outer XML of the document.
+
+             XML_Document.from_text '<foo>hello</foo>' . outer_xml
+             # => '<foo>hello</foo>'
+    outer_xml : Text ! XML_Error
+    outer_xml self =
+        XML_Error.handle_java_exceptions <|
+            XML_Utils.outerXML self.java_document
+
+    ## Gets the raw XML of the document.
+
+       > Example
+         Get the inner XML of the document.
+
+             XML_Document.from_text '<foo><bar>hello</bar></foo>' . inner_xml
+             # => '<foo><bar>hello</bar></foo>'
+    inner_xml : Text ! XML_Error
+    inner_xml self =
+        XML_Error.handle_java_exceptions <|
+            XML_Utils.innerXML self.java_document
+
+    ## GROUP Selections
+       Gets the child elements of an XML document.
+
+       > Example
+             XML_Document.from_text '<foo><baz>hello</baz></foo>' . children
+             # => [XML_Element'<foo><baz>hello</baz></foo>']
+    children : Vector (XML_Element | Text) ! XML_Error
+    children self = [self.root_element]
+
+    ## GROUP Metadata
+       Gets the number children of an XML document.
+
+       `child_count` only counts child elements and child text nodes that are
+       not 100% whitespace. Other node types, such as comments, are not included
+       in the count.
+
+       > Example
+         Get the number of children of an document.
+
+             XML_Document.from_text '<foo> <bar>hello</bar> <bar>hello2</bar>< </foo>' . child_count
+             # => 1
+    child_count : Integer
+    child_count self = 1
+
+    ## GROUP Metadata
+       Gets the unique set of child names of an XML document.
+    child_names : Vector Text ! XML_Error
+    child_names self = [self.root_element.name]
+
+    ## GROUP Selections
+       Get an attribute of an XML document.
+
+       Arguments:
+       - name: The name of the attribute to get.
+       - if_missing: The value returned if the attribute does not exist.
+    @name (e-> make_single_choice e.attribute_names)
+    attribute : Text -> Any -> Text | Any ! XML_Error
+    attribute self name:Text ~if_missing=(Error.throw (No_Such_Key.Error self name)) =
+        if_missing
+
+    ## PRIVATE
+       Gets a set of the attributes of an XML document.
+    attribute_names : Vector Text ! XML_Error
+    attribute_names self = []
+
+    ## GROUP Selections
+       Gets a map containing of the attributes of an XML document.
+    attributes : Map Text Text ! XML_Error
+    attributes self = Map.empty
+
+    ## GROUP Selections
+       Gets the text (non-markup) contents of the element and its descendants,
+       if any.
+    text : Text ! XML_Error
+    text self = self.root_element.text
+
+    ## Get elements denoted by the given XPath key.
+
+       Arguments:
+       - key: The XPath string to use to search for elements.
+
+       > Example
+         Get an element by xpath.
+
+             root = XML_Document.from_file test_file
+             root.get_xpath "/class/teacher[1]/firstname"
+             # => [XML_Document.from_text "<firstname>Alice</firstname>" . root_element]
+    get_xpath : Text -> Vector (Text | XML_Element) ! XML_Error
+    get_xpath self key:Text =
+        XML_Error.handle_java_exceptions <|
+            xpath = XPathFactory.newInstance.newXPath
+            only_wanted_nodes (xpath.evaluate key self.java_document XPathConstants.NODESET)
+
+    ## Gets child elements matching a given tag name.
+
+       Arguments:
+       - tag_name: The tag name to search for.
+    @tag_name (e-> make_single_choice e.child_names)
+    get_children_by_tag_name : Text -> Vector XML_Element ! XML_Error
+    get_children_by_tag_name self tag_name:Text =
+        if tag_name=="*" || tag_name==self.root_element.name then [self.root_element] else []
+
+    ## Gets descendant elements matching a given tag name.
+       This searches through all descendants of the node, not just immediate children.
+
+       Arguments:
+       - tag_name: The tag name to search for.
+
+       > Example
+             XML_Document.from_text '<foo> <baz>hello</baz> <bar>and</bar> <baz>goodbye</baz> </foo>' . root_element . get_descendants_by_tag_name "baz"
+             # => [XML_Document.from_text "<baz>hello</baz>" . root_element, XML_Document.from_text "<baz>goodbye</baz>" . root_element]
+    get_descendants_by_tag_name : Text -> Vector XML_Element ! XML_Error
+    get_descendants_by_tag_name self tag_name:Text =
+        root = if tag_name == self.root_element.name then [self.root_element] else []
+        root + (self.root_element.get_descendants_by_tag_name tag_name)
+
     ## PRIVATE
        Convert to a JavaScript Object representing this XML_Document.
     to_js_object : JS_Object
@@ -124,9 +311,6 @@ type XML_Document
     to_display_text : Text
     to_display_text self = "XML_Document (" + self.root_element.to_display_text + ")"
 
-    ## PRIVATE
-    Value (java_document:Document)
-
 type XML_Element
     ## GROUP Metadata
        Gets the tag of an XML element.
@@ -146,9 +330,10 @@ type XML_Element
 
        Arguments:
        - key: If an `Integer`, returns the element at position `at` in its list
-         of children. If a `Text`, treats `key` as an XPath specifier, and
-         returns the elements it points to. If a `Text` that starts with `"@"`,
-         returns the attribute with the given name.
+         of children. If a `Text`, if `key` starts with `"@"`, returns the
+         attribute with the given name otherwise returns the first child element
+         with the given name.
+       - if_missing: The value returned if the key does not exist.
 
        > Example
            XML_Document.from_text '<foo><baz>hello</baz></foo>' . root_element . get 0
@@ -157,23 +342,23 @@ type XML_Element
        > Example
          Get a tag attribute.
 
-             root = XML_Document.from_text '<foo bar="one">hello</foo>' . root_element
-             root.get "@bar"
+             root = XML_Document.from_text '<foo bar="one">hello</foo>' . root_element . get "@bar"
              # => "one"
+    @key child_selector
     get : Text | Integer -> Any -> Any | Text | XML_Element | Vector (Text | XML_Element) ! No_Such_Key | Index_Out_Of_Bounds | XML_Error
-    get self key:(Text | Integer) ~if_missing=Nothing =
-        case key of
-            _ : Integer -> self.children_cache.get key if_missing
-            _ : Text -> if is_attribute_key key then self.get_xpath key . get 0 if_missing else self.get_xpath key
+    get self key:(Text | Integer)="." ~if_missing=Nothing = case key of
+        _ : Integer -> self.children_cache.get key if_missing
+        _ : Text -> if key.starts_with "@" then self.attribute (key.drop 1) if_missing else
+            self.children.find (c-> c.name == key) . if_nothing if_missing
 
     ## GROUP Selections
        Gets a child or attribute of an XML element.
 
        Arguments:
        - key: If an `Integer`, returns the element at position `at` in its list
-         of children. If a `Text`, treats `key` as an XPath specifier, and
-         returns the elements it points to. If a `Text` that starts with `"@"`,
-         returns the attribute with the given name.
+         of children. If a `Text`, if `key` starts with `"@"`, returns the
+         attribute with the given name otherwise returns the first child element
+         with the given name.
 
        > Example
          Get a nested tag:
@@ -187,30 +372,14 @@ type XML_Element
              root = XML_Document.from_text '<foo bar="one">hello</foo>' . root_element
              root.at "@bar"
              # => "one"
+    @key child_selector
     at : Text | Integer -> Text | XML_Element | Vector (Text | XML_Element) ! No_Such_Key | Index_Out_Of_Bounds | XML_Error
-    at self key:(Text | Integer) =
+    at self key:(Text | Integer)="." =
         if_missing = case key of
             _ : Integer -> Error.throw (Index_Out_Of_Bounds.Error key self.child_count)
             _ : Text -> Error.throw (No_Such_Key.Error self key)
         self.get key if_missing
 
-    ## Get elements denoted by the given XPath key.
-
-       Arguments:
-       - key: The XPath string to use to search for elements.
-
-       > Example
-         Get an element by xpath.
-
-             root = XML_Document.from_file test_file . root_element
-             root.at "/class/teacher[1]/firstname"
-             # => [XML_Document.from_text "<firstname>Alice</firstname>" . root_element]
-    get_xpath : Text -> Vector (Text | XML_Element) ! XML_Error
-    get_xpath self key:Text =
-        XML_Error.handle_java_exceptions <|
-            xpath = XPathFactory.newInstance.newXPath
-            only_wanted_nodes (xpath.evaluate key self.java_element XPathConstants.NODESET)
-
     ## GROUP Selections
        Gets the child elements of an XML element.
 
@@ -238,6 +407,13 @@ type XML_Element
     child_count : Integer ! XML_Error
     child_count self = self.children_cache.length
 
+    ## GROUP Metadata
+       Gets the unique set of child names of an XML element.
+    child_names : Vector Text ! XML_Error
+    child_names self =
+        XML_Error.handle_java_exceptions <|
+            self.children_cache.map  n->n.name . distinct
+
     ## GROUP Selections
        Get an attribute of an XML element.
 
@@ -251,12 +427,20 @@ type XML_Element
              root = XML_Document.from_text '<foo bar="one">hello</foo>' . root_element
              root.attribute "bar"
              # => "one"
+    @name (e-> make_single_choice e.attribute_names)
     attribute : Text -> Any -> Text | Any ! XML_Error
     attribute self name:Text ~if_missing=(Error.throw (No_Such_Key.Error self name)) =
         XML_Error.handle_java_exceptions <|
             attr = self.java_element.getAttributeNode name
             if attr.is_nothing then if_missing else attr.getValue
 
+    ## PRIVATE
+       Gets a set of the attributes of an XML element.
+    attribute_names : Vector Text ! XML_Error
+    attribute_names self = XML_Error.handle_java_exceptions <|
+        named_node_map = self.java_element.getAttributes
+        Vector.new named_node_map.getLength i-> named_node_map.item i . getNodeName
+
     ## GROUP Selections
        Gets a map containing of the attributes of an XML element.
 
@@ -311,15 +495,44 @@ type XML_Element
         XML_Error.handle_java_exceptions <|
             XML_Utils.innerXML self.java_element
 
-    ## Gets elements matching a given tag name.
+    ## Get elements denoted by the given XPath key.
+
+       Arguments:
+       - key: The XPath string to use to search for elements.
 
+       > Example
+         Get an element by xpath.
+
+             root = XML_Document.from_file test_file . root_element
+             root.get_xpath "/class/teacher[1]/firstname"
+             # => [XML_Document.from_text "<firstname>Alice</firstname>" . root_element]
+    get_xpath : Text -> Vector (Text | XML_Element) ! XML_Error
+    get_xpath self key:Text =
+        XML_Error.handle_java_exceptions <|
+            xpath = XPathFactory.newInstance.newXPath
+            only_wanted_nodes (xpath.evaluate key self.java_element XPathConstants.NODESET)
+
+    ## Gets child elements matching a given tag name.
+
+       Arguments:
+       - tag_name: The tag name to search for.
+    @tag_name (e-> make_single_choice e.child_names)
+    get_children_by_tag_name : Text -> Vector XML_Element ! XML_Error
+    get_children_by_tag_name self tag_name:Text = if tag_name == "*" then self.children_cache else
+        XML_Error.handle_java_exceptions <|
+           self.children_cache.filter (c-> c.name == tag_name)
+
+    ## Gets descendant elements matching a given tag name.
        This searches through all descendants of the node, not just immediate children.
 
+       Arguments:
+       - tag_name: The tag name to search for.
+
        > Example
-             XML_Document.from_text '<foo> <baz>hello</baz> <bar>and</bar> <baz>goodbye</baz> </foo>' . root_element . get_elements_by_tag_name "baz"
+             XML_Document.from_text '<foo> <baz>hello</baz> <bar>and</bar> <baz>goodbye</baz> </foo>' . root_element . get_descendants_by_tag_name "baz"
              # => [XML_Document.from_text "<baz>hello</baz>" . root_element, XML_Document.from_text "<baz>goodbye</baz>" . root_element]
-    get_elements_by_tag_name : Text -> Vector XML_Element ! XML_Error
-    get_elements_by_tag_name self tag_name:Text =
+    get_descendants_by_tag_name : Text -> Vector XML_Element ! XML_Error
+    get_descendants_by_tag_name self tag_name:Text =
         XML_Error.handle_java_exceptions <|
             only_wanted_nodes (self.java_element.getElementsByTagName tag_name)
 
@@ -416,6 +629,10 @@ build_child_list java_element =
         only_wanted_nodes java_element.getChildNodes
 
 ## PRIVATE
-   Returns true if `key` starts with "@".
-is_attribute_key : Text -> Boolean
-is_attribute_key s:Text = s.starts_with "@"
+   Create the element selector for an XML document or element.
+child_selector : XML_Element | XML_Document -> Widget
+child_selector node:(XML_Element|XML_Document) =
+    attributes = case node of
+        _ : XML_Element -> node.attribute_names.map (n->"@"+n)
+        _ -> []
+    make_single_choice attributes+node.child_names
diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Data_Link.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Data_Link.enso
new file mode 100644
index 000000000000..ae139b5f60fd
--- /dev/null
+++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Data_Link.enso
@@ -0,0 +1,93 @@
+import project.Any.Any
+import project.Data.Json.JS_Object
+import project.Data.Text.Encoding.Encoding
+import project.Data.Text.Text
+import project.Enso_Cloud.Enso_Secret.Enso_Secret
+import project.Error.Error
+import project.Errors.Illegal_State.Illegal_State
+import project.Errors.Problem_Behavior.Problem_Behavior
+import project.Errors.Unimplemented.Unimplemented
+import project.Nothing.Nothing
+import project.System.File.File
+import project.System.File.Generic.Writable_File.Writable_File
+import project.System.File_Format.Auto_Detect
+import project.System.File_Format.Infer
+import project.System.File_Format.JSON_Format
+import project.System.File_Format_Metadata.File_Format_Metadata
+import project.System.Input_Stream.Input_Stream
+from project.Enso_Cloud.Public_Utils import get_required_field
+
+polyglot java import org.enso.base.enso_cloud.DataLinkSPI
+polyglot java import org.enso.base.file_format.FileFormatSPI
+
+## PRIVATE
+   A file format for reading data links.
+type Data_Link_Format
+    ## PRIVATE
+       If the File_Format supports reading from the file, return a configured instance.
+    for_read : File_Format_Metadata -> Data_Link_Format | Nothing
+    for_read file:File_Format_Metadata =
+        case file.guess_extension of
+            ".datalink" -> Data_Link_Format
+            _ -> Nothing
+
+    ## PRIVATE
+       Currently writing data links is not supported.
+    for_file_write : Writable_File -> Nothing
+    for_file_write file =
+        _ = file
+        Nothing
+
+    ## PRIVATE
+       Implements the `File.read` for this `File_Format`
+    read : File -> Problem_Behavior -> Any
+    read self file on_problems =
+        json = JSON_Format.read file on_problems
+        read_datalink json on_problems
+
+    ## PRIVATE
+       Implements decoding the format from a stream.
+    read_stream : Input_Stream -> File_Format_Metadata -> Any
+    read_stream self stream:Input_Stream (metadata : File_Format_Metadata) =
+        json = JSON_Format.read_stream stream metadata
+        read_datalink json Problem_Behavior.Report_Error
+
+## PRIVATE
+interpret_json_as_datalink json =
+    typ = get_required_field "type" json
+    case DataLinkSPI.findDataLinkType typ of
+        Nothing ->
+            library_name = get_required_field "libraryName" json
+            Error.throw (Illegal_State.Error "The data link for "+typ+" is provided by the library "+library_name+" which is not loaded. Please import the library, and if necessary, restart the project.")
+        data_link_type ->
+            data_link_type.parse json
+
+## PRIVATE
+read_datalink json on_problems =
+    data_link_instance = interpret_json_as_datalink json
+    data_link_instance.read on_problems
+
+## PRIVATE
+parse_secure_value (json : Text | JS_Object) -> Text | Enso_Secret =
+    case json of
+        raw_text : Text -> raw_text
+        _ : JS_Object ->
+            case get_required_field "type" json of
+                "secret" ->
+                    secret_path = get_required_field "secretPath" json
+                    _ = secret_path
+                    Unimplemented.throw "Reading secrets from a path is not implemented yet, see: https://github.com/enso-org/enso/issues/9048"
+                other -> Error.throw (Illegal_State.Error "Unexpected value inside of a data-link: "+other+".")
+
+## PRIVATE
+parse_format json = case json of
+    Nothing -> Auto_Detect
+    _ : JS_Object -> case get_required_field "subType" json of
+        "default" -> Auto_Detect
+        sub_type : Text ->
+            format_type = FileFormatSPI.findFormatForDataLinkSubType sub_type
+            if format_type.is_nothing then Error.throw (Illegal_State.Error "Unknown format inside of a datalink: "+sub_type+". Perhaps the library providing that format needs to be imported?") else
+                format_type.from json
+        other ->
+            Error.throw (Illegal_State.Error "Expected `subType` to be a string, but got: "+other.to_display_text+".")
+    other -> Error.throw (Illegal_State.Error "Unexpected value inside of a data-link `format` field: "+other.to_display_text+".")
diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Enso_File.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Enso_File.enso
index 567796a7f9a6..f600cbd8491e 100644
--- a/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Enso_File.enso
+++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Enso_File.enso
@@ -29,7 +29,8 @@ import project.System.File_Format_Metadata.File_Format_Metadata
 import project.System.Input_Stream.Input_Stream
 import project.System.Output_Stream.Output_Stream
 from project.Data.Boolean import Boolean, False, True
-from project.Enso_Cloud.Utils import get_required_field
+from project.Enso_Cloud.Data_Link import read_datalink
+from project.Enso_Cloud.Public_Utils import get_required_field
 from project.Data.Text.Extensions import all
 from project.System.File.Generic.File_Write_Strategy import generic_copy
 from project.System.File_Format import Auto_Detect, Bytes, File_Format, Plain_Text_Format
@@ -66,7 +67,7 @@ type Enso_File
             Enso_Asset_Type.Directory -> Utils.directory_api + "/" + self.id
             Enso_Asset_Type.File -> Utils.files_api + "/" + self.id
             Enso_Asset_Type.Project -> Utils.projects_api + "/" + self.id
-            Enso_Asset_Type.Data_Link -> Utils.secrets_api + "/" + self.id
+            Enso_Asset_Type.Data_Link -> Utils.datalinks_api + "/" + self.id
             Enso_Asset_Type.Secret -> Error.throw (Illegal_Argument.Error "Secrets cannot be accessed directly.")
 
     ## GROUP Metadata
@@ -183,7 +184,9 @@ type Enso_File
     read self format=Auto_Detect (on_problems=Problem_Behavior.Report_Warning) = case self.asset_type of
         Enso_Asset_Type.Project -> Error.throw (Illegal_Argument.Error "Projects cannot be read within Enso code. Open using the IDE.")
         Enso_Asset_Type.Secret -> Error.throw (Illegal_Argument.Error "Secrets cannot be read directly.")
-        Enso_Asset_Type.Data_Link -> Unimplemented.throw "Reading from a Data Link is not implemented yet."
+        Enso_Asset_Type.Data_Link ->
+            json = Utils.http_request_as_json HTTP_Method.Get self.internal_uri
+            read_datalink json on_problems
         Enso_Asset_Type.Directory -> if format == Auto_Detect then self.list else Error.throw (Illegal_Argument.Error "Directories can only be read using the Auto_Detect format.")
         Enso_Asset_Type.File -> case format of
             Auto_Detect ->
@@ -341,7 +344,7 @@ Enso_Asset_Type.from (that:Text) = case that of
     "directory" -> Enso_Asset_Type.Directory
     "secret" -> Enso_Asset_Type.Secret
     "connector" -> Enso_Asset_Type.Data_Link
-    _ -> Error.throw (Illegal_Argument.Error "Invalid asset type.")
+    _ -> Error.throw (Illegal_Argument.Error "Invalid asset type: "+that.pretty+".")
 
 ## PRIVATE
 File_Format_Metadata.from (that:Enso_File) = File_Format_Metadata.Value Nothing that.name (that.extension.catch _->Nothing)
diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Enso_User.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Enso_User.enso
index e032db6398c0..ca350a312771 100644
--- a/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Enso_User.enso
+++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Enso_User.enso
@@ -10,7 +10,7 @@ import project.Network.HTTP.HTTP
 import project.Network.HTTP.HTTP_Method.HTTP_Method
 import project.Nothing.Nothing
 from project.Data.Boolean import Boolean, False, True
-from project.Enso_Cloud.Utils import get_required_field
+from project.Enso_Cloud.Public_Utils import get_required_field
 
 type Enso_User
     ## PRIVATE
diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Public_Utils.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Public_Utils.enso
new file mode 100644
index 000000000000..5b23d41ba7df
--- /dev/null
+++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Public_Utils.enso
@@ -0,0 +1,10 @@
+import project.Enso_Cloud.Errors.Enso_Cloud_Error
+import project.Error.Error
+import project.Data.Json.JS_Object
+
+## PRIVATE
+   A helper that extracts a field from a response and handles unexpected
+   response structure.
+get_required_field key js_object = case js_object of
+    _ : JS_Object -> js_object.get key if_missing=(Error.throw (Enso_Cloud_Error.Invalid_Response_Payload "Missing required field `"+key+"` in "+js_object.to_display_text+"."))
+    _ -> Error.throw (Enso_Cloud_Error.Invalid_Response_Payload "Expected a JSON object, but got "+js_object.to_display_text+".")
diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Utils.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Utils.enso
index 5f369030d0f2..dc508121a35f 100644
--- a/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Utils.enso
+++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Enso_Cloud/Utils.enso
@@ -6,7 +6,6 @@ import project.Enso_Cloud.Enso_Secret.Enso_Secret
 import project.Enso_Cloud.Errors.Enso_Cloud_Error
 import project.Enso_Cloud.Errors.Not_Logged_In
 import project.Data.Json.Invalid_JSON
-import project.Data.Json.JS_Object
 import project.Data.Map.Map
 import project.Data.Pair.Pair
 import project.Data.Text.Text
@@ -67,6 +66,10 @@ projects_api = cloud_root_uri + "projects"
    Root address for Secrets API
 secrets_api = cloud_root_uri + "secrets"
 
+## PRIVATE
+   Root address for DataLinks API
+datalinks_api = cloud_root_uri + "connectors"
+
 ## PRIVATE
    The current project directory that will be used as the working directory,
    if the user is running in the Cloud.
@@ -109,10 +112,3 @@ http_request (method : HTTP_Method) (url : URI) (body : Request_Body = Request_B
             case handler of
                 Nothing -> Error.throw (Enso_Cloud_Error.Unexpected_Service_Error response.code payload)
                 _ : Function -> handler json_payload
-
-## PRIVATE
-   A helper that extracts a field from a response and handles unexpected
-   response structure.
-get_required_field key js_object = case js_object of
-    _ : JS_Object -> js_object.get key if_missing=(Error.throw (Enso_Cloud_Error.Invalid_Response_Payload "Missing required field `"+key+"` in "+js_object.to_display_text+"."))
-    _ -> Error.throw (Enso_Cloud_Error.Invalid_Response_Payload "Expected a JSON object, but got "+js_object.to_display_text+".")
diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Network/HTTP/HTTP_Fetch_Data_Link.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Network/HTTP/HTTP_Fetch_Data_Link.enso
new file mode 100644
index 000000000000..544af02aabe5
--- /dev/null
+++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Network/HTTP/HTTP_Fetch_Data_Link.enso
@@ -0,0 +1,28 @@
+import project.Errors.Problem_Behavior.Problem_Behavior
+import project.Network.HTTP.HTTP
+import project.Network.HTTP.HTTP_Method.HTTP_Method
+import project.Network.HTTP.Request.Request
+import project.Nothing.Nothing
+from project.Enso_Cloud.Data_Link import parse_format, parse_secure_value
+from project.Enso_Cloud.Public_Utils import get_required_field
+
+## PRIVATE
+type HTTP_Fetch_Data_Link
+    ## PRIVATE
+    Value (request : Request) format
+
+    ## PRIVATE
+    parse json -> HTTP_Fetch_Data_Link =
+        uri = get_required_field "uri" json
+        method = HTTP_Method.from (get_required_field "method" json)
+        format = parse_format (json.get "format" Nothing)
+        # TODO headers
+        headers = []
+        request = Request.new method uri headers
+        HTTP_Fetch_Data_Link.Value request format
+
+    ## PRIVATE
+    read self (on_problems : Problem_Behavior) =
+        _ = on_problems
+        response = HTTP.new.request self.request
+        response.decode self.format
diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/System/File_Format.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/System/File_Format.enso
index ddd79bd5c07f..2ccb287b2d16 100644
--- a/distribution/lib/Standard/Base/0.0.0-dev/src/System/File_Format.enso
+++ b/distribution/lib/Standard/Base/0.0.0-dev/src/System/File_Format.enso
@@ -1,4 +1,5 @@
 import project.Any.Any
+import project.Data.Json.JS_Object
 import project.Data.Json.Json
 import project.Data.Numbers.Integer
 import project.Data.Text.Encoding.Encoding
@@ -229,5 +230,10 @@ type JSON_Format
         _ = metadata
         Text.from_bytes (stream.read_all_bytes) Encoding.utf_8 . parse_json
 
+## PRIVATE
+JSON_Format.from (that : JS_Object) =
+    _ = that
+    JSON_Format
+
 ## A setting to infer the default behaviour of some option.
 type Infer
diff --git a/distribution/lib/Standard/Database/0.0.0-dev/src/Data/DB_Column.enso b/distribution/lib/Standard/Database/0.0.0-dev/src/Data/DB_Column.enso
index 89a569269c2e..88c2889ec1f3 100644
--- a/distribution/lib/Standard/Database/0.0.0-dev/src/Data/DB_Column.enso
+++ b/distribution/lib/Standard/Database/0.0.0-dev/src/Data/DB_Column.enso
@@ -88,6 +88,7 @@ type DB_Column
 
     ## ALIAS metadata
        GROUP Standard.Base.Metadata
+       ICON metadata
        Returns a Table describing this column's contents.
 
        The table behaves like `Table.info` - it lists the column name, the count
diff --git a/distribution/lib/Standard/Database/0.0.0-dev/src/Data/DB_Table.enso b/distribution/lib/Standard/Database/0.0.0-dev/src/Data/DB_Table.enso
index 2d17afcae097..154e9c6534f4 100644
--- a/distribution/lib/Standard/Database/0.0.0-dev/src/Data/DB_Table.enso
+++ b/distribution/lib/Standard/Database/0.0.0-dev/src/Data/DB_Table.enso
@@ -2031,7 +2031,7 @@ type DB_Table
     @names Widget_Helpers.make_column_name_selector
     @values Widget_Helpers.make_aggregate_column_selector
     cross_tab : Vector (Integer | Text | Regex | Aggregate_Column) | Text | Integer | Regex -> (Text | Integer) -> Aggregate_Column | Vector Aggregate_Column -> Problem_Behavior -> DB_Table ! Missing_Input_Columns | Invalid_Aggregate_Column | Floating_Point_Equality | Invalid_Aggregation | Unquoted_Delimiter | Additional_Warnings | Invalid_Column_Names
-    cross_tab self group_by names values=Aggregate_Column.Count (on_problems=Report_Warning) =
+    cross_tab self group_by=[] names=self.column_names.first values=Aggregate_Column.Count (on_problems=Report_Warning) =
         ## Avoid unused arguments warning. We cannot rename arguments to `_`,
            because we need to keep the API consistent with the in-memory table.
         _ = [group_by, names, values, on_problems]
@@ -2516,6 +2516,7 @@ type DB_Table
 
     ## ALIAS metadata
        GROUP Standard.Base.Metadata
+       ICON metadata
        Returns a Table describing this table's contents.
 
        The table lists all columns, counts of non-null items and value types of
diff --git a/distribution/lib/Standard/Table/0.0.0-dev/src/Data/Column.enso b/distribution/lib/Standard/Table/0.0.0-dev/src/Data/Column.enso
index 96a3226d4662..4c0bfe124db3 100644
--- a/distribution/lib/Standard/Table/0.0.0-dev/src/Data/Column.enso
+++ b/distribution/lib/Standard/Table/0.0.0-dev/src/Data/Column.enso
@@ -2223,6 +2223,7 @@ type Column
 
     ## ALIAS metadata
        GROUP Standard.Base.Metadata
+       ICON metadata
        Returns a Table describing this column's contents.
 
        The table behaves like `Table.info` - it lists the column name, the count
diff --git a/distribution/lib/Standard/Table/0.0.0-dev/src/Data/Simple_Expression.enso b/distribution/lib/Standard/Table/0.0.0-dev/src/Data/Simple_Expression.enso
index 21f1efe71ba5..ba72c56a81e1 100644
--- a/distribution/lib/Standard/Table/0.0.0-dev/src/Data/Simple_Expression.enso
+++ b/distribution/lib/Standard/Table/0.0.0-dev/src/Data/Simple_Expression.enso
@@ -90,7 +90,7 @@ type Simple_Expression
         builder.append (Option "trim" fqn+".Trim" [["what", with_text]])
 
         fqn_column = Meta.get_qualified_type_name Simple_Expression
-        derived = Option "<Simple Expression>" fqn_column+".From" [["input", col_names], ["operation", Single_Choice builder.to_vector]]
+        derived = Option "<Simple Expression>" fqn_column+".From" [["input", with_all_types], ["operation", Single_Choice builder.to_vector]]
 
         Single_Choice [text, number, boolean, expression, derived] display=display
 
diff --git a/distribution/lib/Standard/Table/0.0.0-dev/src/Data/Table.enso b/distribution/lib/Standard/Table/0.0.0-dev/src/Data/Table.enso
index eb418dddd52d..2dc3d4ad6187 100644
--- a/distribution/lib/Standard/Table/0.0.0-dev/src/Data/Table.enso
+++ b/distribution/lib/Standard/Table/0.0.0-dev/src/Data/Table.enso
@@ -16,7 +16,7 @@ import Standard.Base.Errors.Illegal_Argument.Illegal_Argument
 import Standard.Base.Errors.Unimplemented.Unimplemented
 import Standard.Base.Runtime.Context
 import Standard.Base.System.File.Generic.Writable_File.Writable_File
-from Standard.Base.Metadata import make_single_choice
+from Standard.Base.Metadata import make_single_choice, Widget
 from Standard.Base.Widget_Helpers import make_delimiter_selector, make_format_chooser
 
 import project.Data.Aggregate_Column.Aggregate_Column
@@ -150,6 +150,7 @@ type Table
                  row_2 =  [ 2     , False , 'b'   ]
                  row_3 =  [ 3     , True  , 'c'   ]
                  Table.from_rows header [row_1, row_2, row_3]
+    @header (Widget.Vector_Editor item_editor=Widget.Text_Input item_default='"Column"')
     from_rows : Vector -> Vector -> Table
     from_rows header rows =
         columns = header.map_with_index i-> name-> [name, rows.map (_.at i)]
@@ -2333,6 +2334,7 @@ type Table
 
     ## ALIAS metadata
        GROUP Standard.Base.Metadata
+       ICON metadata
        Returns a Table describing this table's contents.
 
        The table lists all columns, counts of non-null items and value types of
@@ -2476,7 +2478,7 @@ type Table
     @names Widget_Helpers.make_column_name_selector
     @values Widget_Helpers.make_aggregate_column_selector
     cross_tab : Vector (Integer | Text | Regex | Aggregate_Column) | Text | Integer | Regex -> (Text | Integer) -> Aggregate_Column | Vector Aggregate_Column -> Problem_Behavior -> Table ! Missing_Input_Columns | Invalid_Aggregate_Column | Floating_Point_Equality | Invalid_Aggregation | Unquoted_Delimiter | Additional_Warnings | Invalid_Column_Names
-    cross_tab self group_by names values=Aggregate_Column.Count (on_problems=Report_Warning) = Out_Of_Memory.handle_java_exception "cross_tab" <|
+    cross_tab self group_by=[] names=self.column_names.first values=Aggregate_Column.Count (on_problems=Report_Warning) = Out_Of_Memory.handle_java_exception "cross_tab" <|
         columns_helper = self.columns_helper
         problem_builder = Problem_Builder.new error_on_missing_columns=True
 
diff --git a/distribution/lib/Standard/Table/0.0.0-dev/src/Delimited/Delimited_Format.enso b/distribution/lib/Standard/Table/0.0.0-dev/src/Delimited/Delimited_Format.enso
index 3f09a5734fac..e5b0df3c4ef6 100644
--- a/distribution/lib/Standard/Table/0.0.0-dev/src/Delimited/Delimited_Format.enso
+++ b/distribution/lib/Standard/Table/0.0.0-dev/src/Delimited/Delimited_Format.enso
@@ -1,4 +1,5 @@
 from Standard.Base import all
+import Standard.Base.Errors.Illegal_Argument.Illegal_Argument
 import Standard.Base.Network.HTTP.Response.Response
 import Standard.Base.System.File.Generic.Writable_File.Writable_File
 import Standard.Base.System.File_Format_Metadata.File_Format_Metadata
@@ -154,3 +155,23 @@ type Delimited_Format
     without_comments : Delimited_Format
     without_comments self =
         self.clone comment_character=Nothing
+
+## PRIVATE
+   Constructs a `Delimited` instance from JSON.
+Delimited_Format.from (that : JS_Object) =
+    delimiter = that.get "delimiter" if_missing=(Error.throw (Illegal_Argument.Error "The `delimiter` field is required."))
+    encoding_name = that.get "encoding"
+    encoding = encoding_name
+        . if_not_nothing (Encoding.from_name encoding_name)
+        . if_nothing Encoding.utf_8
+    headers = that.get "headers" . if_nothing Infer
+    skip_rows = that.get "skip_rows" . if_nothing 0
+    row_limit = that.get "row_limit"
+    keep_invalid_rows = that.get "keep_invalid_rows" . if_nothing True
+
+    unsupported_fields = ["quote_style", "value_formatter", "line_endings", "comment_character"]
+    case unsupported_fields.find that.contains_key if_missing=Nothing of
+        Nothing ->
+            Delimited_Format.Delimited delimiter=delimiter encoding=encoding headers=headers skip_rows=skip_rows row_limit=row_limit keep_invalid_rows=keep_invalid_rows
+        field ->
+            Error.throw (Illegal_Argument.Error ("The field `" ++ field ++ "` is currently not supported when deserializing the Delimited format from JSON."))
diff --git a/distribution/lib/Standard/Table/0.0.0-dev/src/Extensions/Table_Conversions.enso b/distribution/lib/Standard/Table/0.0.0-dev/src/Extensions/Table_Conversions.enso
index b4e5afef9841..cc03055fbb9e 100644
--- a/distribution/lib/Standard/Table/0.0.0-dev/src/Extensions/Table_Conversions.enso
+++ b/distribution/lib/Standard/Table/0.0.0-dev/src/Extensions/Table_Conversions.enso
@@ -24,6 +24,37 @@ Vector.to_table : Vector | Nothing -> Table ! Type_Error
 Vector.to_table self fields=Nothing =
     Table.from_objects self fields
 
+## GROUP Standard.Base.Conversions
+   ICON convert
+   Converts this `Range` into a `Table`.
+
+   Arguments:
+   - name: The name of the column to use for the range.
+Range.to_table : Text -> Table
+Range.to_table self name:Text="Range" =
+    self.to Table name
+
+## GROUP Standard.Base.Conversions
+   ICON convert
+   Converts this `Date_Range` into a `Table`.
+
+   Arguments:
+   - name: The name of the column to use for the range.
+Date_Range.to_table : Text -> Table
+Date_Range.to_table self name:Text=self.default_column_name =
+    self.to Table name
+
+## GROUP Standard.Base.Conversions
+   ICON convert
+   Converts this `JS_Object` into a `Table`.
+
+   Arguments:
+   - fields: a Vector of Text representing the names of fields to look up.
+     If `Nothing` then all fields found are added.
+JS_Object.to_table : Vector | Nothing -> Table ! Type_Error
+JS_Object.to_table self fields=Nothing =
+    self.to Table fields
+
 ## GROUP Standard.Base.Constants
    ICON data_input
    Converts an object or a Vector of object into a Table, by looking up the
diff --git a/std-bits/aws/src/main/java/org/enso/aws/file_system/S3DataLinkSPI.java b/std-bits/aws/src/main/java/org/enso/aws/file_system/S3DataLinkSPI.java
new file mode 100644
index 000000000000..0f6692e93421
--- /dev/null
+++ b/std-bits/aws/src/main/java/org/enso/aws/file_system/S3DataLinkSPI.java
@@ -0,0 +1,21 @@
+package org.enso.aws.file_system;
+
+import org.enso.base.enso_cloud.DataLinkSPI;
+
+@org.openide.util.lookup.ServiceProvider(service = DataLinkSPI.class)
+public class S3DataLinkSPI extends DataLinkSPI {
+  @Override
+  protected String getModuleName() {
+    return "Standard.AWS.S3.S3_Data_Link";
+  }
+
+  @Override
+  protected String getTypeName() {
+    return "S3_Data_Link";
+  }
+
+  @Override
+  protected String getLinkTypeName() {
+    return "S3";
+  }
+}
diff --git a/std-bits/base/src/main/java/org/enso/base/XML_Utils.java b/std-bits/base/src/main/java/org/enso/base/XML_Utils.java
index 0236342c48ce..523984877eb7 100644
--- a/std-bits/base/src/main/java/org/enso/base/XML_Utils.java
+++ b/std-bits/base/src/main/java/org/enso/base/XML_Utils.java
@@ -2,9 +2,8 @@
 
 import java.io.ByteArrayOutputStream;
 import javax.xml.parsers.DocumentBuilder;
-import javax.xml.transform.TransformerException;
 import org.w3c.dom.DOMConfiguration;
-import org.w3c.dom.Element;
+import org.w3c.dom.Node;
 import org.w3c.dom.NodeList;
 import org.w3c.dom.bootstrap.DOMImplementationRegistry;
 import org.w3c.dom.ls.DOMImplementationLS;
@@ -20,9 +19,11 @@ public class XML_Utils {
    *
    * @param element the element to convert to a string
    * @return the string representation of the element
-   * @throws TransformerException
+   * @throws ClassNotFoundException if the DOM implementation class cannot be found.
+   * @throws IllegalAccessException if the DOM implementation class cannot be accessed.
+   * @throws InstantiationException if the DOM implementation class cannot be instantiated.
    */
-  public static String outerXML(Element element)
+  public static String outerXML(Node element)
       throws ClassNotFoundException, IllegalAccessException, InstantiationException {
     DOMImplementationLS dom =
         (DOMImplementationLS) DOMImplementationRegistry.newInstance().getDOMImplementation("LS");
@@ -38,9 +39,11 @@ public static String outerXML(Element element)
    *
    * @param element the element to convert to a string
    * @return the string representation of the element's contents
-   * @throws TransformerException
+   * @throws ClassNotFoundException if the DOM implementation class cannot be found.
+   * @throws IllegalAccessException if the DOM implementation class cannot be accessed.
+   * @throws InstantiationException if the DOM implementation class cannot be instantiated.
    */
-  public static String innerXML(Element element)
+  public static String innerXML(Node element)
       throws ClassNotFoundException, IllegalAccessException, InstantiationException {
     ByteArrayOutputStream out = new ByteArrayOutputStream();
     DOMImplementationLS dom =
@@ -62,9 +65,7 @@ public static void setCustomErrorHandler(DocumentBuilder documentBuilder) {
     documentBuilder.setErrorHandler(
         new ErrorHandler() {
           @Override
-          public void warning(SAXParseException e) throws SAXException {
-            ;
-          }
+          public void warning(SAXParseException e) {}
 
           @Override
           public void fatalError(SAXParseException e) throws SAXException {
diff --git a/std-bits/base/src/main/java/org/enso/base/enso_cloud/DataLinkFileFormatSPI.java b/std-bits/base/src/main/java/org/enso/base/enso_cloud/DataLinkFileFormatSPI.java
new file mode 100644
index 000000000000..d7fac66c682b
--- /dev/null
+++ b/std-bits/base/src/main/java/org/enso/base/enso_cloud/DataLinkFileFormatSPI.java
@@ -0,0 +1,17 @@
+package org.enso.base.enso_cloud;
+
+import org.enso.base.file_format.FileFormatSPI;
+
+/** A format registration for parsing `.datalink` files as data links. */
+@org.openide.util.lookup.ServiceProvider(service = FileFormatSPI.class)
+public class DataLinkFileFormatSPI extends FileFormatSPI {
+  @Override
+  protected String getModuleName() {
+    return "Standard.Base.Enso_Cloud.Data_Link";
+  }
+
+  @Override
+  protected String getTypeName() {
+    return "Data_Link_Format";
+  }
+}
diff --git a/std-bits/base/src/main/java/org/enso/base/enso_cloud/DataLinkSPI.java b/std-bits/base/src/main/java/org/enso/base/enso_cloud/DataLinkSPI.java
new file mode 100644
index 000000000000..1bb21859d45f
--- /dev/null
+++ b/std-bits/base/src/main/java/org/enso/base/enso_cloud/DataLinkSPI.java
@@ -0,0 +1,55 @@
+package org.enso.base.enso_cloud;
+
+import java.util.ServiceLoader;
+import java.util.stream.Collectors;
+import org.graalvm.polyglot.Context;
+import org.graalvm.polyglot.Value;
+
+/**
+ * An interface for data link parser providers. A class providing this interface can register an
+ * Enso type that defines how to `parse` a specific type of datalink. The `parse` method on that
+ * type should return a configured datalink instance that can later be `read`.
+ */
+public abstract class DataLinkSPI {
+  private static final ServiceLoader<DataLinkSPI> loader =
+      ServiceLoader.load(DataLinkSPI.class, DataLinkSPI.class.getClassLoader());
+
+  public void reload() {
+    loader.reload();
+  }
+
+  public static Value findDataLinkType(String name) {
+    var providers =
+        loader.stream().filter(provider -> provider.get().getLinkTypeName().equals(name)).toList();
+    if (providers.isEmpty()) {
+      return null;
+    }
+
+    if (providers.size() > 1) {
+      var modules =
+          providers.stream()
+              .map(provider -> provider.get().getModuleName())
+              .collect(Collectors.joining(", "));
+      throw new IllegalStateException(
+          "Error: Multiple Data Link providers found for type: "
+              + name
+              + ". The clashing definitions are in the following modules: "
+              + modules
+              + ".");
+    }
+
+    return providers.get(0).get().getTypeObject();
+  }
+
+  public Value getTypeObject() {
+    final var context = Context.getCurrent().getBindings("enso");
+    final var module = context.invokeMember("get_module", getModuleName());
+    return module.invokeMember("get_type", getTypeName());
+  }
+
+  protected abstract String getModuleName();
+
+  protected abstract String getTypeName();
+
+  protected abstract String getLinkTypeName();
+}
diff --git a/std-bits/base/src/main/java/org/enso/base/file_format/FileFormatSPI.java b/std-bits/base/src/main/java/org/enso/base/file_format/FileFormatSPI.java
index 376194d4eaae..83b969cf4243 100644
--- a/std-bits/base/src/main/java/org/enso/base/file_format/FileFormatSPI.java
+++ b/std-bits/base/src/main/java/org/enso/base/file_format/FileFormatSPI.java
@@ -1,6 +1,8 @@
 package org.enso.base.file_format;
 
+import java.util.Objects;
 import java.util.ServiceLoader;
+import java.util.stream.Collectors;
 import org.graalvm.polyglot.Context;
 import org.graalvm.polyglot.Value;
 
@@ -15,6 +17,33 @@ public static Value[] get_types(boolean refresh) {
     return loader.stream().map(provider -> provider.get().getTypeObject()).toArray(Value[]::new);
   }
 
+  public static Value findFormatForDataLinkSubType(String subType) {
+    Objects.requireNonNull(subType, "subType must not be null/Nothing.");
+
+    var providers =
+        loader.stream()
+            .filter(provider -> subType.equals(provider.get().getDataLinkFormatName()))
+            .toList();
+    if (providers.isEmpty()) {
+      return null;
+    }
+
+    if (providers.size() > 1) {
+      var modules =
+          providers.stream()
+              .map(provider -> provider.get().getModuleName())
+              .collect(Collectors.joining(", "));
+      throw new IllegalStateException(
+          "Error: Multiple Format providers found for format: "
+              + subType
+              + ". The clashing definitions are in the following modules: "
+              + modules
+              + ".");
+    }
+
+    return providers.get(0).get().getTypeObject();
+  }
+
   public Value getTypeObject() {
     final var context = Context.getCurrent().getBindings("enso");
     final var module = context.invokeMember("get_module", getModuleName());
@@ -24,4 +53,17 @@ public Value getTypeObject() {
   protected abstract String getModuleName();
 
   protected abstract String getTypeName();
+
+  /**
+   * An optional method that allows this format to be parsed as a selected format in data-links.
+   *
+   * <p>If a format overrides this method to return a non-null format name (corresponding to the
+   * "subType" field in a data-link format entry, see `dataLinkSchema.json` for more details), then
+   * the corresponding Enso type should provide a `from` conversion, which will be able to construct
+   * a configured format instance from its JSON representation (which should be consistent with the
+   * schema).
+   */
+  protected String getDataLinkFormatName() {
+    return null;
+  }
 }
diff --git a/std-bits/base/src/main/java/org/enso/base/file_format/JSONFormatSPI.java b/std-bits/base/src/main/java/org/enso/base/file_format/JSONFormatSPI.java
index 4266b2bd42fc..575e6d4bc23f 100644
--- a/std-bits/base/src/main/java/org/enso/base/file_format/JSONFormatSPI.java
+++ b/std-bits/base/src/main/java/org/enso/base/file_format/JSONFormatSPI.java
@@ -11,4 +11,9 @@ protected String getModuleName() {
   protected String getTypeName() {
     return "JSON_Format";
   }
+
+  @Override
+  protected String getDataLinkFormatName() {
+    return "json";
+  }
 }
diff --git a/std-bits/base/src/main/java/org/enso/base/net/http/HTTPFetchDataLinkSPI.java b/std-bits/base/src/main/java/org/enso/base/net/http/HTTPFetchDataLinkSPI.java
new file mode 100644
index 000000000000..f8d98e016f0c
--- /dev/null
+++ b/std-bits/base/src/main/java/org/enso/base/net/http/HTTPFetchDataLinkSPI.java
@@ -0,0 +1,21 @@
+package org.enso.base.net.http;
+
+import org.enso.base.enso_cloud.DataLinkSPI;
+
+@org.openide.util.lookup.ServiceProvider(service = DataLinkSPI.class)
+public class HTTPFetchDataLinkSPI extends DataLinkSPI {
+  @Override
+  protected String getModuleName() {
+    return "Standard.Base.Network.HTTP.HTTP_Fetch_Data_Link";
+  }
+
+  @Override
+  protected String getTypeName() {
+    return "HTTP_Fetch_Data_Link";
+  }
+
+  @Override
+  protected String getLinkTypeName() {
+    return "HTTP";
+  }
+}
diff --git a/std-bits/table/src/main/java/org/enso/table/read/DelimitedFormatSPI.java b/std-bits/table/src/main/java/org/enso/table/read/DelimitedFormatSPI.java
index 81c56d2dc81d..c4ddbbda9a42 100644
--- a/std-bits/table/src/main/java/org/enso/table/read/DelimitedFormatSPI.java
+++ b/std-bits/table/src/main/java/org/enso/table/read/DelimitedFormatSPI.java
@@ -13,4 +13,9 @@ protected String getModuleName() {
   protected String getTypeName() {
     return "Delimited_Format";
   }
+
+  @Override
+  protected String getDataLinkFormatName() {
+    return "delimited";
+  }
 }
diff --git a/test/AWS_Tests/data/credentials-with-secrets.datalink b/test/AWS_Tests/data/credentials-with-secrets.datalink
new file mode 100644
index 000000000000..241f44633748
--- /dev/null
+++ b/test/AWS_Tests/data/credentials-with-secrets.datalink
@@ -0,0 +1,17 @@
+{
+  "type": "S3",
+  "libraryName": "Standard.AWS",
+  "uri": "s3://enso-data-samples/examples/folder 2/hello.txt",
+  "auth": {
+    "type": "aws_auth",
+    "subType": "access_key",
+    "accessKeyId": {
+      "type": "secret",
+      "secretPath": "enso://datalink-secret-AWS-keyid"
+    },
+    "secretAccessKey": {
+      "type": "secret",
+      "secretPath": "enso://datalink-secret-AWS-secretkey"
+    }
+  }
+}
diff --git a/test/AWS_Tests/data/format-delimited.datalink b/test/AWS_Tests/data/format-delimited.datalink
new file mode 100644
index 000000000000..290d1d8b612e
--- /dev/null
+++ b/test/AWS_Tests/data/format-delimited.datalink
@@ -0,0 +1,15 @@
+{
+  "type": "S3",
+  "libraryName": "Standard.AWS",
+  "uri": "s3://enso-data-samples/examples/folder 2/hello.txt",
+  "auth": {
+    "type": "aws_auth",
+    "subType": "default"
+  },
+  "format": {
+    "type": "format",
+    "subType": "delimited",
+    "delimiter": " ",
+    "headers": false
+  }
+}
diff --git a/test/AWS_Tests/data/simple.datalink b/test/AWS_Tests/data/simple.datalink
new file mode 100644
index 000000000000..abe8d93eaae5
--- /dev/null
+++ b/test/AWS_Tests/data/simple.datalink
@@ -0,0 +1,9 @@
+{
+  "type": "S3",
+  "libraryName": "Standard.AWS",
+  "uri": "s3://enso-data-samples/examples/folder 2/hello.txt",
+  "auth": {
+    "type": "aws_auth",
+    "subType": "default"
+  }
+}
diff --git a/test/AWS_Tests/src/S3_Spec.enso b/test/AWS_Tests/src/S3_Spec.enso
index d0f63db85320..c31c1fe3f27b 100644
--- a/test/AWS_Tests/src/S3_Spec.enso
+++ b/test/AWS_Tests/src/S3_Spec.enso
@@ -544,6 +544,28 @@ add_specs suite_builder =
                 destination_file.read . should_equal "FooBar"
                 source_file.exists . should_be_false
 
+    suite_builder.group "DataLinks to S3_File" pending=api_pending group_builder->
+        group_builder.specify "should be able to read a data link of an S3 File" <|
+            # It reads the datalink description and then reads the actual S3 file contents:
+            (enso_project.data / "simple.datalink") . read . should_equal "Hello WORLD!"
+
+        #group_builder.specify "should be able to read a data link with custom credentials and secrets" pending=cloud_setup.pending <| cloud_setup.with_prepared_environment <|
+        group_builder.specify "should be able to read a data link with custom credentials and secrets" pending="TODO: reading secrets from path" <| cloud_setup.with_prepared_environment <|
+            secret_key_id = Enso_Secret.create "datalink-secret-AWS-keyid" (Environment.get "AWS_ACCESS_KEY_ID")
+            secret_key_id.should_succeed
+            Panic.with_finalizer secret_key_id.delete <|
+                secret_key_value = Enso_Secret.create "datalink-secret-AWS-secretkey" (Environment.get "AWS_SECRET_ACCESS_KEY")
+                secret_key_value.should_succeed
+                Panic.with_finalizer secret_key_value.delete <| with_retries <|
+                    (enso_project.data / "credentials-with-secrets.datalink") . read . should_equal "Hello WORLD!"
+
+        group_builder.specify "should be able to read a data link with a custom file format set" <|
+            r = (enso_project.data / "format-delimited.datalink") . read
+            # The datalink itself is configured to interpret the data as a Table delimited by space
+            r.should_be_a Table
+            r.column_names . should_equal ["Column 1", "Column 2"]
+            r.rows.at 0 . to_vector . should_equal ["Hello", "WORLD!"]
+
 main filter=Nothing =
     suite = Test.build suite_builder->
         add_specs suite_builder
diff --git a/test/Base_Tests/data/datalinks/example-http-format-delimited.datalink b/test/Base_Tests/data/datalinks/example-http-format-delimited.datalink
new file mode 100644
index 000000000000..7c4ded1c2d0d
--- /dev/null
+++ b/test/Base_Tests/data/datalinks/example-http-format-delimited.datalink
@@ -0,0 +1,12 @@
+{
+    "type": "HTTP",
+    "libraryName": "Standard.Base",
+    "method": "GET",
+    "uri": "http://http-test-helper.local/testfiles/js.txt",
+    "format": {
+        "type": "format",
+        "subType": "delimited",
+        "delimiter": " ",
+        "headers": false
+    }
+}
diff --git a/test/Base_Tests/data/datalinks/example-http-format-explicit-default.datalink b/test/Base_Tests/data/datalinks/example-http-format-explicit-default.datalink
new file mode 100644
index 000000000000..a4eed687d711
--- /dev/null
+++ b/test/Base_Tests/data/datalinks/example-http-format-explicit-default.datalink
@@ -0,0 +1,10 @@
+{
+    "type": "HTTP",
+    "libraryName": "Standard.Base",
+    "method": "GET",
+    "uri": "http://http-test-helper.local/testfiles/js.txt",
+    "format": {
+        "type": "format",
+        "subType": "default"
+    }
+}
diff --git a/test/Base_Tests/data/datalinks/example-http-format-invalid.datalink b/test/Base_Tests/data/datalinks/example-http-format-invalid.datalink
new file mode 100644
index 000000000000..880657831450
--- /dev/null
+++ b/test/Base_Tests/data/datalinks/example-http-format-invalid.datalink
@@ -0,0 +1,10 @@
+{
+    "type": "HTTP",
+    "libraryName": "Standard.Base",
+    "method": "GET",
+    "uri": "http://http-test-helper.local/testfiles/js.txt",
+    "format": {
+        "type": "format",
+        "subType": "unknown format name"
+    }
+}
diff --git a/test/Base_Tests/data/datalinks/example-http-format-json.datalink b/test/Base_Tests/data/datalinks/example-http-format-json.datalink
new file mode 100644
index 000000000000..1fba9b71bf9d
--- /dev/null
+++ b/test/Base_Tests/data/datalinks/example-http-format-json.datalink
@@ -0,0 +1,10 @@
+{
+    "type": "HTTP",
+    "libraryName": "Standard.Base",
+    "method": "GET",
+    "uri": "http://http-test-helper.local/testfiles/js.txt",
+    "format": {
+        "type": "format",
+        "subType": "json"
+    }
+}
diff --git a/test/Base_Tests/data/datalinks/example-http.datalink b/test/Base_Tests/data/datalinks/example-http.datalink
new file mode 100644
index 000000000000..a3064a34499a
--- /dev/null
+++ b/test/Base_Tests/data/datalinks/example-http.datalink
@@ -0,0 +1,6 @@
+{
+    "type": "HTTP",
+    "libraryName": "Standard.Base",
+    "method": "GET",
+    "uri": "http://http-test-helper.local/testfiles/js.txt"
+}
diff --git a/test/Base_Tests/src/Data/XML/XML_Spec.enso b/test/Base_Tests/src/Data/XML/XML_Spec.enso
index f40bdc61c7bf..3339a28c226c 100644
--- a/test/Base_Tests/src/Data/XML/XML_Spec.enso
+++ b/test/Base_Tests/src/Data/XML/XML_Spec.enso
@@ -56,6 +56,8 @@ add_specs suite_builder =
 
     suite_builder.group "at/get" group_builder->
         group_builder.specify "Can get children by index" <|
+            data.document.at 0 . name . should_equal "class"
+
             data.root.at 0 . name . should_equal "teacher"
 
             data.root.at 0 . at 0 . name . should_equal "firstname"
@@ -91,44 +93,45 @@ add_specs suite_builder =
             data.root.at 3 . attributes . should_equal (Map.from_vector [["studentId", "1001"], ["year", "3"]])
 
         group_builder.specify "Can get nodes via xpath" <|
-            classes = data.root.at "/class"
+            classes = data.root.get_xpath "/class"
             classes.length . should_equal 1
             classes.at 0 . name . should_equal "class"
 
-            teachers = data.root.at "/class/teacher"
+            teachers = data.root.get_xpath "/class/teacher"
             teachers.length . should_equal 2
             teachers.at 0 . at "@id" . should_equal "100"
             teachers.at 1 . at "@id" . should_equal "101"
 
-            students = data.root.at "/class/student"
+            students = data.root.get_xpath "/class/student"
             students.length . should_equal 3
             students.at 0 . at "@studentId" . should_equal "1000"
             students.at 1 . at "@studentId" . should_equal "1001"
 
-            data.root.at "/class/teacher[1]/firstname" . at 0 . text . should_equal "Mary"
-            data.root.at "/class/teacher[2]/firstname" . at 0 . text . should_equal "Bob"
-            data.root.at "/class/teacher[1]/firstname/text()" . should_equal ["Mary"]
-            data.root.at "/class/teacher[2]/firstname/text()" . should_equal ["Bob"]
-            data.root.at "/class/teacher/firstname/text()" . should_equal ["Mary", "Bob"]
-            data.root.at "/class/teacher[1]/bio" . at 0 . text . should_equal '\n            Blah blah\n        '
-            data.root.at "/class/teacher[2]/bio" . at 0 . text . should_equal '\n            This that\n        '
-            data.root.get "/class/teacher[23]" . should_equal []
+            data.root.get_xpath "/class/teacher[1]/firstname" . at 0 . text . should_equal "Mary"
+            data.root.get_xpath "/class/teacher[2]/firstname" . at 0 . text . should_equal "Bob"
+            data.root.get_xpath "/class/teacher[1]/firstname/text()" . should_equal ["Mary"]
+            data.root.get_xpath "/class/teacher[2]/firstname/text()" . should_equal ["Bob"]
+            data.root.get_xpath "/class/teacher/firstname/text()" . should_equal ["Mary", "Bob"]
+            data.root.get_xpath "/class/teacher[1]/bio" . at 0 . text . should_equal '\n            Blah blah\n        '
+            data.root.get_xpath "/class/teacher[2]/bio" . at 0 . text . should_equal '\n            This that\n        '
+            data.root.get_xpath "/class/teacher[23]" . should_equal []
+
+            data.root.get_xpath "teacher[1]/firstname" . at 0 . text . should_equal "Mary"
+            data.root.get_xpath "teacher[2]/firstname" . at 0 . text . should_equal "Bob"
+            data.root.get_xpath "teacher[1]/bio" . at 0 . text . should_equal '\n            Blah blah\n        '
+            data.root.get_xpath "teacher[2]/bio" . at 0 . text . should_equal '\n            This that\n        '
 
-            data.root.at "teacher[1]/firstname" . at 0 . text . should_equal "Mary"
-            data.root.at "teacher[2]/firstname" . at 0 . text . should_equal "Bob"
-            data.root.at "teacher[1]/bio" . at 0 . text . should_equal '\n            Blah blah\n        '
-            data.root.at "teacher[2]/bio" . at 0 . text . should_equal '\n            This that\n        '
+            data.root.get_xpath "/class/teacher[1]/firstname" . get 0 . text . should_equal "Mary"
 
         group_builder.specify "Can get children using .get" <|
             data.root.get 0 . get 0 . name . should_equal "firstname"
             data.root.get 0 . get "@id" . should_equal "100"
-            data.root.get "/class/teacher[1]/firstname" . get 0 . text . should_equal "Mary"
 
             data.root.get 0 . get 32 "if_missing" . should_equal "if_missing"
             data.root.get 0 . get "@not_there" "if_missing" . should_equal "if_missing"
 
         group_builder.specify "Can handle a bad xpath" <|
-            data.root.at "/qqq[[[[1" . at 0 . text . should_fail_with XML_Error
+            data.root.get_xpath "/qqq[[[[1" . at 0 . text . should_fail_with XML_Error
 
     suite_builder.group "tag name" group_builder->
         group_builder.specify "Can get the tag name" <|
@@ -156,20 +159,26 @@ add_specs suite_builder =
 
     suite_builder.group "inner / outer xml" group_builder->
         group_builder.specify "Can get the inner xml" <|
-            (data.root.at "/class/teacher[1]" . at 0 . inner_xml) . should_equal '\n        <firstname>Mary</firstname>\n        <lastname>Smith</lastname>\n        <bio>\n            Blah blah\n        </bio>\n    '
-            (data.root.at "/class/teacher[1]/bio" . at 0 . inner_xml) . should_equal '\n            Blah blah\n        '
-            (data.root.at "/class/teacher[2]/bio" . at 0 . inner_xml) . should_equal '\n            This that\n        '
-            (data.root.at "/class/teacher[2]" . at 0 . inner_xml) . should_equal '\n        <firstname>Bob</firstname>\n        <lastname>Jones</lastname>\n        <bio>\n            This that\n        </bio>\n    '
+            (data.root.get_xpath "/class/teacher[1]" . at 0 . inner_xml) . should_equal '\n        <firstname>Mary</firstname>\n        <lastname>Smith</lastname>\n        <bio>\n            Blah blah\n        </bio>\n    '
+            (data.root.get_xpath "/class/teacher[1]/bio" . at 0 . inner_xml) . should_equal '\n            Blah blah\n        '
+            (data.root.get_xpath "/class/teacher[2]/bio" . at 0 . inner_xml) . should_equal '\n            This that\n        '
+            (data.root.get_xpath "/class/teacher[2]" . at 0 . inner_xml) . should_equal '\n        <firstname>Bob</firstname>\n        <lastname>Jones</lastname>\n        <bio>\n            This that\n        </bio>\n    '
 
         group_builder.specify "Can get the outer xml" <|
-            (data.root.at "/class/teacher[1]/bio" . at 0 . outer_xml) . should_equal '<bio>\n            Blah blah\n        </bio>'
-            (data.root.at "/class/teacher[2]/bio" . at 0 . outer_xml) . should_equal '<bio>\n            This that\n        </bio>'
+            (data.root.get_xpath "/class/teacher[1]/bio" . at 0 . outer_xml) . should_equal '<bio>\n            Blah blah\n        </bio>'
+            (data.root.get_xpath "/class/teacher[2]/bio" . at 0 . outer_xml) . should_equal '<bio>\n            This that\n        </bio>'
 
-    suite_builder.group "get_elements_by_tag_name" group_builder->
+    suite_builder.group "Get by tag name" group_builder->
         group_builder.specify "Can get elements by tag name" <|
-            teachers = data.root.get_elements_by_tag_name "teacher"
-            students = data.root.get_elements_by_tag_name "student"
-            gpas = data.root.get_elements_by_tag_name "gpa"
+            class = data.document.get_children_by_tag_name "class"
+            class.length . should_equal 1
+
+            teacher_direct = data.root.get_children_by_tag_name "teacher"
+            teacher_direct.length . should_equal 2
+
+            teachers = data.document.get_descendants_by_tag_name "teacher"
+            students = data.root.get_descendants_by_tag_name "student"
+            gpas = data.root.get_descendants_by_tag_name "gpa"
 
             teachers.length . should_equal 2
             students.length . should_equal 3
@@ -187,12 +196,14 @@ add_specs suite_builder =
         group_builder.specify "Can get nested elements" <|
             test_file = enso_project.data / "xml" / "nested.xml"
             root = XML_Document.from_file test_file . root_element
-            bars = root.get_elements_by_tag_name "bar"
+            bars = root.get_descendants_by_tag_name "bar"
             bars.length . should_equal 4
             bars.map (t-> t.at "@id") . should_equal ["2", "4", "5", "6"]
+            root.get_children_by_tag_name "bar" . length . should_equal 2
 
         group_builder.specify "Can get elements by name with a wildcard" <|
-            data.root.get_elements_by_tag_name "*" . length . should_equal 20
+            data.root.get_children_by_tag_name "*" . length . should_equal 5
+            data.root.get_descendants_by_tag_name "*" . length . should_equal 20
 
     suite_builder.group "Data.read / File_Format" group_builder->
         group_builder.specify "Can read from a file" <|
diff --git a/test/Base_Tests/src/Main.enso b/test/Base_Tests/src/Main.enso
index b6e945903156..6a27cf363b7c 100644
--- a/test/Base_Tests/src/Main.enso
+++ b/test/Base_Tests/src/Main.enso
@@ -65,6 +65,7 @@ import project.Network.Enso_Cloud.Main as Enso_Cloud_Main
 import project.Network.Http.Header_Spec as Http_Header_Spec
 import project.Network.Http.Request_Spec as Http_Request_Spec
 import project.Network.Http.Http_Auto_Parse_Spec
+import project.Network.Http.Http_Data_Link_Spec
 import project.Network.Http_Spec
 import project.Network.URI_Spec
 
@@ -112,6 +113,7 @@ main filter=Nothing =
         Http_Request_Spec.add_specs suite_builder
         Http_Spec.add_specs suite_builder
         Http_Auto_Parse_Spec.add_specs suite_builder
+        Http_Data_Link_Spec.add_specs suite_builder
         Enso_Cloud_Main.add_specs suite_builder
         Import_Loop_Spec.add_specs suite_builder
         Interval_Spec.add_specs suite_builder
diff --git a/test/Base_Tests/src/Network/Enso_Cloud/Cloud_Data_Link_Spec.enso b/test/Base_Tests/src/Network/Enso_Cloud/Cloud_Data_Link_Spec.enso
new file mode 100644
index 000000000000..1d9a3e30dea3
--- /dev/null
+++ b/test/Base_Tests/src/Network/Enso_Cloud/Cloud_Data_Link_Spec.enso
@@ -0,0 +1,30 @@
+from Standard.Base import all
+import Standard.Base.Errors.Common.Not_Found
+import Standard.Base.Enso_Cloud.Enso_File.Enso_Asset_Type
+
+from Standard.Test import all
+import Standard.Test.Test_Environment
+
+import project.Network.Enso_Cloud.Cloud_Tests_Setup.Cloud_Tests_Setup
+from enso_dev.Base_Tests.Network.Enso_Cloud.Cloud_Tests_Setup import with_retries
+
+add_specs suite_builder setup:Cloud_Tests_Setup = setup.with_prepared_environment <|
+    suite_builder.group "DataLinks in Enso Cloud" pending=setup.real_cloud_pending group_builder->
+        group_builder.specify "should be able to access an example HTTP data-link" <|
+            ## We assume that the cloud has a sample data-link called `TestDataLink` present
+               TODO in future iterations this file will be created by the test suite itself, to make it self-contained
+            assets = Enso_File.root.list
+            datalink = assets.find a-> a.name.starts_with "TestDataLink"
+            datalink.should_be_a Enso_File
+            datalink.asset_type.should_equal Enso_Asset_Type.Data_Link
+
+            # We assume that the datalink points to https://raw.githubusercontent.com/enso-org/enso/develop/test/Base_Tests/data/sample.txt
+            r = datalink.read
+            r.should_be_a Text
+            r.should_contain "Cupcake"
+
+main filter=Nothing =
+    setup = Cloud_Tests_Setup.prepare
+    suite = Test.build suite_builder->
+        add_specs suite_builder setup
+    suite.run_with_filter filter
diff --git a/test/Base_Tests/src/Network/Enso_Cloud/Main.enso b/test/Base_Tests/src/Network/Enso_Cloud/Main.enso
index b41d54781967..88eed588d6f7 100644
--- a/test/Base_Tests/src/Network/Enso_Cloud/Main.enso
+++ b/test/Base_Tests/src/Network/Enso_Cloud/Main.enso
@@ -2,19 +2,20 @@ from Standard.Base import all
 
 from Standard.Test import all
 
+import project.Network.Enso_Cloud.Cloud_Data_Link_Spec
+import project.Network.Enso_Cloud.Cloud_Tests_Setup.Cloud_Tests_Setup
 import project.Network.Enso_Cloud.Enso_Cloud_Spec
 import project.Network.Enso_Cloud.Enso_File_Spec
 import project.Network.Enso_Cloud.Secrets_Spec
-import project.Network.Enso_Cloud.Cloud_Tests_Setup.Cloud_Tests_Setup
 
 add_specs suite_builder setup =
     Enso_Cloud_Spec.add_specs suite_builder setup
     Enso_File_Spec.add_specs suite_builder setup
     Secrets_Spec.add_specs suite_builder setup
+    Cloud_Data_Link_Spec.add_specs suite_builder setup
 
 main filter=Nothing =
     setup = Cloud_Tests_Setup.prepare
     suite = Test.build suite_builder->
         add_specs suite_builder setup
     suite.run_with_filter filter
-
diff --git a/test/Base_Tests/src/Network/Http/Http_Auto_Parse_Spec.enso b/test/Base_Tests/src/Network/Http/Http_Auto_Parse_Spec.enso
index b82dd4a5ebc6..902cefa25dce 100644
--- a/test/Base_Tests/src/Network/Http/Http_Auto_Parse_Spec.enso
+++ b/test/Base_Tests/src/Network/Http/Http_Auto_Parse_Spec.enso
@@ -4,9 +4,10 @@ import Standard.Base.Errors.Encoding_Error.Encoding_Error
 
 import Standard.Base.Network.HTTP.Response.Response
 
-
 from Standard.Test import all
 
+from project.Network.Http.Http_Test_Setup import base_url_with_slash, pending_has_url
+
 main filter=Nothing =
     suite = Test.build suite_builder->
         add_specs suite_builder
@@ -14,15 +15,6 @@ main filter=Nothing =
 
 
 add_specs suite_builder =
-    ## To run this test locally:
-       $ sbt 'http-test-helper/run localhost 8080'
-       $ export ENSO_HTTP_TEST_HTTPBIN_URL=http://localhost:8080/
-    base_url = Environment.get "ENSO_HTTP_TEST_HTTPBIN_URL"
-    pending_has_url = if base_url != Nothing then Nothing else
-        "The HTTP tests only run when the `ENSO_HTTP_TEST_HTTPBIN_URL` environment variable is set to URL of the httpbin server"
-    base_url_with_slash = base_url.if_not_nothing <|
-        if base_url.ends_with "/" then base_url else base_url + "/"
-
     suite_builder.group "Format Detection in HTTP Fetch" pending=pending_has_url group_builder->
         content_utf = '["x", "Hello! 😊👍 ąę"]'
         content_windows_1250 = '["y", "Hello! ąę"]'
diff --git a/test/Base_Tests/src/Network/Http/Http_Data_Link_Spec.enso b/test/Base_Tests/src/Network/Http/Http_Data_Link_Spec.enso
new file mode 100644
index 000000000000..43634d04d750
--- /dev/null
+++ b/test/Base_Tests/src/Network/Http/Http_Data_Link_Spec.enso
@@ -0,0 +1,54 @@
+from Standard.Base import all
+import Standard.Base.Errors.Illegal_State.Illegal_State
+
+from Standard.Test import all
+
+from project.Network.Http.Http_Test_Setup import base_url_with_slash, pending_has_url
+
+main filter=Nothing =
+    suite = Test.build suite_builder->
+        add_specs suite_builder
+    suite.run_with_filter filter
+
+
+add_specs suite_builder =
+    data_link_root = enso_project.data / "datalinks"
+    suite_builder.group "HTTP DataLink" pending=pending_has_url group_builder->
+        group_builder.specify "should allow to read a web resource" <|
+            f = replace_url_in_datalink (data_link_root / "example-http.datalink")
+            r = f.read
+            # Defaults to reading as text, because the resource read is called `js.txt`, implying Plain_Text format
+            r.should_be_a Text
+            r.trim.should_equal '{"hello": "world"}'
+
+        group_builder.specify "should allow to read a web resource, with explicitly using default format" <|
+            f = replace_url_in_datalink (data_link_root / "example-http-format-explicit-default.datalink")
+            r = f.read
+            r.should_be_a Text
+            r.trim.should_equal '{"hello": "world"}'
+
+        group_builder.specify "should allow to read a web resource, setting format to JSON" <|
+            f = replace_url_in_datalink (data_link_root / "example-http-format-json.datalink")
+            r = f.read
+            js = '{"hello": "world"}'.parse_json
+            r.should_equal js
+            r.get "hello" . should_equal "world"
+
+        group_builder.specify "will fail if invalid format is used" <|
+            r1 = (data_link_root / "example-http-format-invalid.datalink").read
+            r1.should_fail_with Illegal_State
+            r1.catch.to_display_text.should_contain "Unknown format"
+
+            # We assume that Base_Tests _do not_ import Standard.Table
+            r2 = (data_link_root / "example-http-format-delimited.datalink").read
+            r2.should_fail_with Illegal_State
+            r2.catch.to_display_text.should_contain "Unknown format"
+
+## Reads the datalink as plain text and replaces the placeholder URL with actual
+   URL of the server. It then writes the new contents to a temporary file and
+   returns it.
+replace_url_in_datalink base_file =
+    content = base_file.read Plain_Text
+    new_content = content.replace "http://http-test-helper.local/" base_url_with_slash
+    temp_file = File.create_temporary_file prefix=base_file.name suffix=base_file.extension
+    new_content.write temp_file . if_not_error temp_file
diff --git a/test/Base_Tests/src/Network/Http/Http_Test_Setup.enso b/test/Base_Tests/src/Network/Http/Http_Test_Setup.enso
new file mode 100644
index 000000000000..d14fbc60056e
--- /dev/null
+++ b/test/Base_Tests/src/Network/Http/Http_Test_Setup.enso
@@ -0,0 +1,7 @@
+from Standard.Base import all
+
+base_url = Environment.get "ENSO_HTTP_TEST_HTTPBIN_URL"
+pending_has_url = if base_url != Nothing then Nothing else
+    "The HTTP tests only run when the `ENSO_HTTP_TEST_HTTPBIN_URL` environment variable is set to URL of the httpbin server"
+base_url_with_slash = base_url.if_not_nothing <|
+    if base_url.ends_with "/" then base_url else base_url + "/"
diff --git a/test/Base_Tests/src/Network/Http_Spec.enso b/test/Base_Tests/src/Network/Http_Spec.enso
index 6f51a86b74ba..30c98dbd51a7 100644
--- a/test/Base_Tests/src/Network/Http_Spec.enso
+++ b/test/Base_Tests/src/Network/Http_Spec.enso
@@ -15,6 +15,8 @@ from Standard.Base.Network.HTTP import resolve_headers
 from Standard.Test import all
 from Standard.Test.Execution_Context_Helpers import run_with_and_without_output
 
+from project.Network.Http.Http_Test_Setup import base_url_with_slash, pending_has_url
+
 type Test_Type
     Aaa (s:Text)
     Bbb (i:Integer)
@@ -28,16 +30,10 @@ remove_fields json =
     json.set_value  "headers" (json.at "headers" . set_value "User-Agent" "")
 compare_responses a b = (remove_fields a).should_equal (remove_fields b)
 
+## To run this test locally:
+   $ sbt 'http-test-helper/run localhost 8080'
+   $ export ENSO_HTTP_TEST_HTTPBIN_URL=http://localhost:8080/
 add_specs suite_builder =
-    ## To run this test locally:
-       $ sbt 'http-test-helper/run localhost 8080'
-       $ export ENSO_HTTP_TEST_HTTPBIN_URL=http://localhost:8080/
-    base_url = Environment.get "ENSO_HTTP_TEST_HTTPBIN_URL"
-    pending_has_url = if base_url != Nothing then Nothing else
-        "The HTTP tests only run when the `ENSO_HTTP_TEST_HTTPBIN_URL` environment variable is set to URL of the httpbin server"
-    base_url_with_slash = base_url.if_not_nothing <|
-        if base_url.ends_with "/" then base_url else base_url + "/"
-
     suite_builder.group "HTTP_Method parse" group_builder->
         group_builder.specify "should be able to parse a string value into a method" <|
             "GET" . to HTTP_Method . should_equal (HTTP_Method.Get)
diff --git a/test/Base_Tests/src/System/File_Spec.enso b/test/Base_Tests/src/System/File_Spec.enso
index e31002e226e6..83b1e5043b31 100644
--- a/test/Base_Tests/src/System/File_Spec.enso
+++ b/test/Base_Tests/src/System/File_Spec.enso
@@ -800,24 +800,21 @@ add_specs suite_builder =
             f.delete
 
     suite_builder.group "folder operations" group_builder->
-        resolve files =
-            base = enso_project.data
-            files.map str->
-                (base / str) . to_text
-
         group_builder.specify "should check if file is a directory" <|
             sample_file.is_directory.should_be_false
             enso_project.root.is_directory.should_be_true
 
         group_builder.specify "should list files in a directory" <|
-            immediate = enso_project.data.list . map .to_text
-            immediate.sort.should_equal (resolve ["books.json", "helloworld.txt", "sample-json.weird-extension", "sample-malformed.json", "sample.json", "sample.png", "sample.txt", "sample.xxx", "transient", "tree", "windows.log", "windows.txt", 'xml'])
+            root = enso_project.data / "tree"
+            immediate = root.list.map .to_text . sort
+            expected = [root / "sample.csv", root / "sample.txt", root / "subdirectory"].map .to_text . sort
+            immediate.should_equal expected
 
-            filtered1 = enso_project.data.list name_filter="s[a-cw]mple.{t?t,md}" . map .to_text
-            filtered1.should_equal (resolve ["sample.txt"])
+            filtered1 = root.list name_filter="s[a-cw]mple.{t?t,md}"
+            filtered1.should_equal [root / "sample.txt"]
 
-            filtered2 = Data.list_directory enso_project.data name_filter="*re*" . map .to_text
-            filtered2.should_equal (resolve ["tree"])
+            filtered2 = Data.list_directory root name_filter="*di*"
+            filtered2.should_equal [root / "subdirectory"]
 
         group_builder.specify "should list files in a directory recursively" <|
             root = enso_project.data / "tree"
diff --git a/tools/http-test-helper/www-files/js.txt b/tools/http-test-helper/www-files/js.txt
new file mode 100644
index 000000000000..56c8e280338e
--- /dev/null
+++ b/tools/http-test-helper/www-files/js.txt
@@ -0,0 +1 @@
+{"hello": "world"}