commit b5ad7f96 reverted it to a regular file by mistake, and our review'n'merge process missed that bug.