another thing I do not know

How does the “bullet” listing for print TLAs work? It’s confusing.

(This is a welcome change, BTW! I assume that we put the “long form” TLA on the web and an abbrievated TLA for publication. But where is style sheet?)