Doc options

[none]