Remove some unused, half-baked code that has no prospect of being used
or fully baked in the near future...