6 files changed, 10 insertions, 7 deletions

diff --git a/provider/posts/thermoprint/1.md b/provider/posts/thermoprint/1.md
index 032e2f6..9d0a5b2 100644
--- a/provider/posts/thermoprint/1.md
+++ b/provider/posts/thermoprint/1.md
@@ -2,6 +2,7 @@
 title: On the Architecture of a tool-set for interacting with character-oriented printers
 published: 2015-12-25
 tags: Thermoprint
+repo: https://git.yggdrasil.li/thermoprint?h=rewrite
 ---
 
 # Motivation
diff --git a/provider/posts/thermoprint/2.lhs b/provider/posts/thermoprint/2.lhs
index a144fb5..28b59b8 100644
--- a/provider/posts/thermoprint/2.lhs
+++ b/provider/posts/thermoprint/2.lhs
@@ -2,10 +2,10 @@
 title: On the design of a structured document format compatible with character oriented printers
 published: 2016-01-11
 tags: Thermoprint
+repo: https://git.yggdrasil.li/thermoprint?h=rewrite
+base: https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/Printout.hs?h=rewrite&id=f6dc3d1
 ---
 
-This post is an annotated version of the file [spec/src/Thermoprint/Printout.hs](https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/Printout.hs?h=rewrite&id=f6dc3d1) as of commit `f6dc3d1`.
-
 > {-# LANGUAGE DeriveGeneric, DeriveAnyClass #-}
 > {-# LANGUAGE OverloadedStrings #-}
 > {-# OPTIONS_HADDOCK show-extensions #-}
diff --git a/provider/posts/thermoprint/3.lhs b/provider/posts/thermoprint/3.lhs
index 4068cac..f0f52f5 100644
--- a/provider/posts/thermoprint/3.lhs
+++ b/provider/posts/thermoprint/3.lhs
@@ -2,10 +2,10 @@
 title: Thoughts on a network protocol for a toolset for interacting with character-oriented printers
 published: 2016-01-11
 tags: Thermoprint
+repo: https://git.yggdrasil.li/thermoprint?h=rewrite
+base: https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/API.hs?h=rewrite&id=3ad700c
 ---
 
-This post is an annotated version of the file [spec/src/Thermoprint/API.hs](https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/API.hs?h=rewrite&id=3ad700c) as of commit `3ad700c`.
- 
 > {-# LANGUAGE DeriveGeneric, DeriveAnyClass #-}
 > {-# LANGUAGE TypeOperators, DataKinds #-}
 > {-# LANGUAGE OverloadedStrings #-}
diff --git a/provider/posts/thermoprint/4.md b/provider/posts/thermoprint/4.md
index 756c166..c9775dc 100644
--- a/provider/posts/thermoprint/4.md
+++ b/provider/posts/thermoprint/4.md
@@ -2,11 +2,11 @@
 title: On the Design of a Parser
 published: 2016-01-12
 tags: Thermoprint
+repo: https://git.yggdrasil.li/thermoprint?h=rewrite
+base: https://git.yggdrasil.li/thermoprint/tree/bbcode?h=rewrite&id=dc99dae
 ---
 
-The concrete application we’ll be walking through is a naive parser for [bbcode](https://en.wikipedia.org/wiki/BBCode)
--- more specifically the contents of the directory `bbcode` in the
-[git repo](https://git.yggdrasil.li/thermoprint/tree/bbcode?h=rewrite&id=dc99dae).
+The concrete application we’ll be walking through is a naive parser for [bbcode](https://en.wikipedia.org/wiki/BBCode).
 
 In a manner consistent with designing software as
 [compositions of simple morphisms](https://en.wikipedia.org/wiki/Tacit_programming) we start by determining the type of
diff --git a/provider/posts/thermoprint/5.md b/provider/posts/thermoprint/5.md
index 0249734..d4f624b 100644
--- a/provider/posts/thermoprint/5.md
+++ b/provider/posts/thermoprint/5.md
@@ -2,6 +2,7 @@
 title: Building an Extensible Framework for Specifying Compile-Time Configuration using Universal Quantification
 tags: Thermoprint
 published: 2016-02-18
+repo: https://git.yggdrasil.li/thermoprint?h=rewrite
 ---
 
 When I write *Universal Quantification* I mean what is commonly referred to as
diff --git a/provider/posts/thermoprint/6.lhs b/provider/posts/thermoprint/6.lhs
index 9182427..2d2a77d 100644
--- a/provider/posts/thermoprint/6.lhs
+++ b/provider/posts/thermoprint/6.lhs
@@ -2,6 +2,7 @@
 title: Deriving a Client Library for Interacting with Character-Oriented Printers
 tags: Thermoprint
 published: 2016-02-18
+repo: https://git.yggdrasil.li/thermoprint?h=rewrite
 ---
 
 > {-# LANGUAGE DataKinds #-}