I did see these libraries, thanks. They are not very complete, though.
Please note that I am not complaining. I realize that PSpice is a work in progress, it depends on volunteers, and that simulation is not its main purpose. I am not yet using it for PCB layout, since we have Altium, and we use features of Altium that are not ready in KiCad yet, such as rule-based DRC. But, it sure would be nice to use it for both someday:).
But, it looks like it could be well suited for simulation, and I am looking for an option other than LTSpice. In my case, simulation is a much different process than PCB design, and really only the schematic entry part is similar. KiCad works for this, and there is really a dearth of schematic entry tools for NGSPICE that are clean and open source, so it's a good choice. It also looks like it has a future, unlike some other options that have recently been made free, but not open source.
My personal preference would be to support NGSPICE with a complete set of NGSPICE components in a symbol library. I think it would be good to have it nested, if possible, but that could come later. Some common subckts like generic op-amp models, etc could also go in here.
I would not bother with making large model libraries a core piece of this, since if people like the simulation tool, this will come like it did for LTspice. I'm sure others may vehemently disagree with this, but frankly it is a losing situation to supply spice models of any complexity as a core piece of KiCad.
I haven't said anything about plotting and data analysis, but that's a whole 'nother thing.
Cheers,
John