This is a no brainer indeed, but I wonder if this file is even used.

Spoke to Kyle. And it does look like this file got accidentally placed in that folder.
So it should be fine removing it altogether.

So someone is either going to close this PR or amend it to remove the file, right? What's the next action?

Jayflux, could you submit a new request for removing or can someone submit a new pull request?

Also, while we’re transitioning to a new integrated tracker, could you report the issue on our current main tracker at JoomlaCode and cross-reference each with a link to the other? Here’s the process for reporting on the other tracker:
http://docs.joomla.org/Filing_bugs_and_issues

Alternatively, let me know if you’d like me to create it for you and I can go ahead and do that.

Thanks in advance!

See new pull request: #917

Thanks Peter! http://joomlacode.org/gf/project/joomla/tracker/?action=TrackerItemEdit&tracker_item_id=30431

Fixed in master. Thanks!