Wing Commander Encyclopedia/Extensions