Yes, it is taken from that dataset, and yes many of them are in your files.
You stop at around 300 lightyears with around 20,000 stars.
The HabCat file has around 17,000 stars, with 75% of them within 450 lightyears of Earth.
Therefore, a large number of them would be outside what your numbers do.
I just think it would be really cool to have them in the program as they would probably be useful for a LOT of people who want to do use systems with a high probability of having habitable worlds.