Files under doc renamed