<!doctype html><html><head><title>/posts/papermod/</title><link rel=canonical href=/posts/papermod/><meta name=robots content="noindex"><meta charset=utf-8><meta http-equiv=refresh content="0; url=/posts/papermod/"></head></html>