Further experimenting indicates posts that originated more than about four months ago can no longer be edited. Maybe that restriction has always been there, and I'm just lucking into editing posts that old. If that's the way it is, should the EDIT POST option still be appearing?