docs about html options

fixes #2844