PS has been shown in multiple studies (as well as ancedotal reports by many many athletes) to lower cortisol levels as well. 3-5g of inositol a day and 300mg of PS and I completely defeated the PTSD in 2-ish months and then as long as I didn't start thinking about the event while laying in bed I had zero issues going forward and have not had anything remotely resembling an episode in at least a year and a half!
This wouldn't just be limited to insomnia caused by CrossFit but any training, let's face it... a lot of us can't train in the morning and find ourselves training after work, I no longer CrossFit but I do Olympic lift at a CrossFit affiliate and on particularly demanding days (like doing a widow maker set) I'll find myself taking some inositol and PS first thing when I get home and then again just before bed so I'm not in bed awake for hours and hours before I fall asleep. Both were also invaluable when dealing with my PTSD from the hypokalemic episode.
If you find you are training hard and having trouble sleeping, or training hard and have your kcals dialed in and are operating at a deficit but having trouble losing weight I'd definitely tinker with cortisol modulation. Your mileage may vary but it's something I'd definitely try for a month or two and see if it helps you too!
Update: July 18th, 2019
I’ve found as I moved to Powerlifting and Strongman that when I need to turn to something to help me with exercise induced insomnia that the cortisol modulation of phosphatidylserine seems to be the most beneficial, 100-200mg post workout on days with very heavy volume (especially if I do conditioning after) followed 2-3 hours later (30-60 minutes before bed) of my nightly 100% RDA of magnesium as magnesium citrate as well as 1mg of melatonin and I have no issue whatsoever getting to sleep and it is quality sleep.
Since I initially wrote this post there has been a lot more written about phosphatidylserine and cortisol specifically in regards to athletic/exercise induced stress. The phosphatidylserine cortisol beneficial connection is documented with both studies and anecdotal evidence of athletes much higher caliber than I.
A word of warning, start slowly with magnesium citrate as it can cause loose stool and even unpredictable diarrhea in some if you aren’t accustomed to it, I can take several times the daily RDA in a go and be fine but your mileage may vary.