I submitted a PR yesterday adding this file, and merged it a few minutes ago. Maybe this will merge ok if they're identical?