consider switching highlighter.js in antora build to prism.js

[polandll]

https://antora.zulipchat.com/#narrow/stream/282400-users/topic/.E2.9C.94.20Escape.20content.20in.20source.20block/near/273778632 for information