The docs pages are rendered using the Django template here:
That's a start. Thanks.
When I have questions about infrastructure, can I ask you for help, Dave? Or should I keep posting stuff here to pgsql-docs? I imagine it'll be pretty annoying having this list be our personal collaboration space.
