Is "Phil" even reliably short for the same name, or names starting with Phila/Philo- roots in general?