Right, Dyalog's internal developer gave up trying to do unicode in PDF/PS, having found the standard extremely obscure. The original (external developer) had
given up in his time too. It's still technically possible though. Unicode is supported in any other output format. Sorry about that.