I think that there could be some changes/improvements to the current Options class:
Removing unimplemented options: given that they're not used, there's no actual reason to have them in the class – having a TODO comment or similar in place would be better for whomever wants to implement them
Removing time: I understand the purpose but this is really something that users could implement themselves if they wanted that information, and it's relatively easy to do
Replace safe: I like this option, but it is quite restricting – if you wanted to allow table HTML and nothing else, there would be no way to do that without performing string manipulation post-rendering. I think it would be better to change this into something like sanitize which gives you options on what HTML elements you want to allow, there is a sanitize shard that would be great for this
Rename prettyprint: _(this one isn't important, but pretty_print makes so much more sense here lol)_
I think that there could be some changes/improvements to the current
Optionsclass:time: I understand the purpose but this is really something that users could implement themselves if they wanted that information, and it's relatively easy to dosafe: I like this option, but it is quite restricting – if you wanted to allow table HTML and nothing else, there would be no way to do that without performing string manipulation post-rendering. I think it would be better to change this into something likesanitizewhich gives you options on what HTML elements you want to allow, there is a sanitize shard that would be great for thisprettyprint: _(this one isn't important, butpretty_printmakes so much more sense here lol)_WDYT?