Don't know where to make suggestions for PKHeX, but just wanted to ask/suggest about importing from Showdown regarding Tera Type.
It seems as though if you do import from showdown, if it has a specified tera type it will change the "Override tera type" to that, but you still have to fix the original tera type manually. If you don't have a specific tera listed in the export (happens if your tera is the same as your primary type), it turns Override Tera Type to Normal instead of "--". Was just wanting to suggest that this be changed, so that:
if no tera type is listed, then your original tera type becomes your primary type and override tera is set to --
if a tera type is listed, then your override tera is set to that but your original tera type is automatically set to your primary type.
Also I would like to know if it's possible to use the encounter database but generate it with someone else's OT. For example I have a friend's Mimikyu saved and would like to use their OT for everything I take from the encounter db. Is that possible or can that be added? Currently they always have my OT and I have to change that manually.