Replace table in appendix with tabbing

So that the text can flow over to the next page.
Mention palRefcoq addition
Sync SUN with current prologues