New Traits Needing Proof

[austinmohr]

Every so often I notice some traits that are present in Counterexamples that are missing from Pi-Base. When I add them, I cannot leave the description blank, so I write "Needs proof". Doing so, however, places the trait in the "Manually Added" category and not the "Needs Proof" category. It would be preferable to have the option to leave the description blank and file it under "Needs Proof".

The following are the traits I have added so far.

Tychonoff Plank: not separable
Hewitt's Condensed Corkscrew: not compact
Prime Integer Topology: pseudocompact
Strong Ultrafilter Topology: pseudocompact
Tychonoff Corkscrew: not compact
Tychonoff Corkscrew: pseudocompact
Prime Integer Topology: connected
Uncountable Excluded Point Topology: not arcwise connected
Indiscrete Topology: not hausdorff
Dieudonne Plank: regular
Dieudonne Plank: not normal
Hewitt's Condensed Corkscrew: not normal
Michael's Product Topology: regular
$[0, \Omega) \times I^I$: not normal
Thomas' Corkscrew: regular
Thomas' Corkscrew: not normal
Tychonoff Corkscrew: regular
Tychonoff Corkscrew: not normal
Sierpinski's Metric Space: locally path connected
Cantor's Leaky Tent: not locally compact
Cantor's Teepee: not locally compact
The p-adic Topology on the Integers: not locally compact
Wheel Without Its Hub: not locally compact
Wheel Without Its Hub: metrizable