fix location of options.xml
Merge pull request #4009 from manveru/fix-nixos-doc

fix location of options.xml