/ ‘2014/10/13/tirole_tribute.html’
/ ‘_sources/2014/10/13/tirole_tribute.txt’
/ ‘index.html’
/ ‘rss.html’
/ ‘searchindex.js’