I thought about doing that, but figured it'd be useful to leave a pointer so existing users know where it went. I'll move it in a week or two.