Manual updates

- extract .prms
- add section explaining benchmark compilation
- more safe escaping in .prms