> your comment ought to be the topmost comment :-)

Indeed!

tags.push("ressources")

In general, I find that comment which links to a PDFs tend to be good. Especially when the linked-to PDF is formatted in two columns ;)