Created attachment 619729 [details] [diff] [review]
I thought I removed these a while ago, but it looks like they're still there. Nothing depends on them any more.
Ping? This should be a very easy review.
Comment on attachment 619729 [details] [diff] [review]
Dave, you were the one who pointed this out anyway.