Switch from inline tags to doc tags for @option extension.