htdocs/docs/kernel/pseudo