This would be good to fix, but we don't have any plans on fixing it in the near future. Please reopen if this is still needed.