algent It's no joke, once in a while that is the only method. I used to have long and massive FF freezes to the point where you can't launch anything, terminal or htop.
Ergo, no PID accessible.
Hard reboot is the only solution if the app freezes itself, the os, and the memory.
***I did switch back to FF from Vivalid recently and those problems seem to have disappeared. Thanks solus team if applicable.
edit: accidentally bolded a section