Are old spade bits worth sharpening?
I have had mine for quite some time and have sharpened them many times with a hand file.

Just be careful how much you remove on each side and keep the angles consistent for proper cutting. The thin metal of the bits would heat up too much under machine grinding or the angles would not be easy to reproduce, IMO.