{"/about/":"https://pldi.me/","/about.html":"https://pldi.me/","/resume-json":"https://pldi.me/cv-json/","/resume":"https://pldi.me/cv/","/md/":"https://pldi.me/markdown/","/markdown.html":"https://pldi.me/markdown/","/nmp/":"https://pldi.me/non-menu-page/","/nmp.html":"https://pldi.me/non-menu-page/","/wordpress/blog-posts/":"https://pldi.me/year-archive/"}