Better utf8 filename handling

This belongs in the context, not in OK specific diagnostics.
Add Toolset documentation