tweaks to the hakyll-agda post