Scripts for displaying nicely-formatted PHP documentation