Minor tweaks to subvert.md