Flex Builder - Deleting workspace from the list

Note for future reference:  To clean up your Workspace list in Flex Builder,  edit org.eclipse.ui.ide.prefs and remove the old workspaces.
You can find this in  Documents/Flex Builder 3/configuration/.settings (Mac) or My Documents\Flex Builder 3\configuration\.settings (Windows).  Thanks to the archived FlexCoders list for the answer. Google was no help on this one.
Dear Adobe - I’d sure love [...]