I'm still in the process of tagging pages that were migrated from the old site, so for now you're best off using the search engine rather than relying on the tags.
- Convert text file to pdf - To convert a text file into a PDF you can use enscript to convert it into a PostScript and pipe that through ps2pdf. To get a txt2pdf command, add the following to your bash functions (in e.g. ~/.bash_function): txt2pdf() { read -p "This will overw...