I guess there's no sense having a directory for just one file when that one file fits in with the rest of doc/ just fine.