navbar text
clean up prose
convert back: lhs -> hs
long link
fix licensing
fix long links
massive clean up
clean up tags feature, add sources