PPX: Scheduled Maintenance Dec. 16

FYI, traders: This Sunday, maintenance on the PPX servers will take place from 6pm to Midnight (EST). The work may cause delays and momentary outages during that timeframe.