Index

I wanted to generate all the HTML for the scratchpad using Python, but I’ll try to use rc instead.