包公湖其名有何寓意？

包公湖原名包府坑。现代开封感到“坑”的不雅，遂有包公湖之名。对包府坑得名的诠释有两种：其一为包拯的家在“坑”的西侧，即现在的包公祠一带；其二是包拯的开封府，就在“坑”的下面，而如今复建的开封府则在“坑”的北侧。