Here's a simple reason why the FDIC has not been released as per the 2012 GSA/POR document.
At that time there were still outstanding issues to be resolved re JPM, WMB Snr/Sub Bonds and Deutsche.
It would make sense that the document would state that the FDIC is not released until all those issues have been settled.
Of all those parties only the WMB Sub Bonds issue remains unsettled since they have not yet received a distribution from the FDIC.
It was stated that upon receipt of a distribution, no amount specified, the WMB Bonds will be deemed to have released.
That has not happened as of yet hence why the FDIC is yet to be released.
If it meant receipt of ANY distribution then the recent payment from the WMILT would have secured the FDIC release.
At this point in 2020 no one is sure whether the FDIC has yet secured their releases or not.