Update permalink config (template of posts URL).
Update permalink config (template of posts URL).

ProofGeneral/proofgeneral.github.io,ProofGeneral/proofgeneral.github.io,ProofGeneral/proofgeneral.github.io