add page numbers
paper updates
make verbatim text smaller, rebalance columns
update pdf