[tempfile]

What does that actually mean? The tweet is not very clear. Is it the bold in the header? What's special about it?

[robinsonb5]

I'm assuming it's emboldening text by thickening up the strokes instead of using a (possibly non-existent) bold variant of the font?