🚀 PR preview deployed to https://RIOT-OS-riot-os-org-preview-131.surge.sh

There used to be also a slide set.

Can we rename the directory to assets/docs? assets/pdfs seems a little weird. Do only PDFs belong in their? What about other documents?

Personally, I don't care. So far, we only have PDFs and from the top of my head I don't see any other document format that I could imagine to share here. I don't have any objections, but I think that's also unrelated to this PR.

The assets folder is mixed in naming anyway between intention ("branding", "fonts") and technology ("css", "js"). Whatever we use (and I'm fine with either), let's just be aware that this is a potential deep linking target, and there is a stability promise associated with it [edit: to clarify: All URIs should be "Cool URIs", but I think that it goes especially for those other people may place links to. It may not matter for our style.css that is useless without the containing index.html, but once we add HTML, PDF or otherwise linkable resources, we should make an effort to not produce 404s down the line].

This only adds PDFs -- should there be a link there, transitively reachable from the root?

[…] from the top of my head I don't see any other document format that I could imagine to share here.

Hopefully some truly portable, non-proprietary document format in the future ;-).

but I think that's also unrelated to this PR.

You introduced this directory in this PR, so I would not call this unrelated to this PR.

After some offline discussions, @chrysn and I decided for pubs/ (for "publications") to keep it future-proof and distinguish from "documentation".

You introduced this directory in this PR, so I would not call this unrelated to this PR.

Ahhhh only now that I try to start moving things I realize that the directory already existed before this PR... I'd blame it on Git having no notion of a “new directory” but I could have looked it up... Sorry. Then nvm and sorry for the noise!