misc
Use promptinit for PROMPT customization
Remove hook for safely switching prompt theme