Delete wrongly named documentation file.