Removing file extension in order to accelerate GitHub service