Regarding the original, I guess double ticks make sense, but we are not using them in the docs afaics yet. So, we would probably need to update everything.