Commit 1f78c867ff59e2dfe3eea34fa96bfac47eb2b36c

Martin Mitas 2019-08-09T10:29:55

Rename HTML renderer public identifier names. This is to reflect we make it a public API.