Update paulf.json

- change format from "txt" to "html"