Annoying label bookkeeping #11

These are labels that need to be included in the post above.