That's right (except that 2 and 3 actually have the same font weight). I thought it would be obvious from looking at the example and looking at the astropy docs, but you're right: it would be clearer to state it explicitly here.