hi Bipnik, i would mention it if i were you. you don't have to have the flashbacks all of the time for it to need dealing with, they're bad when they do happen, right? and if you're hyper-vigilant all the time, that's a ptsd symptom right there. and if you're anything like me, it's a long time between pdoc apps, so i'd say something next time, let your pdoc decide what if anything should be dealt with atm.

good luck and take care.