···384384 description = mdDoc ''
385385 Extra configuration options for Syncthing.
386386 See <https://docs.syncthing.net/users/config.html>.
387387+ Note that this attribute set does not exactly match the documented
388388+ xml format. Instead, this is the format of the json rest api. There
389389+ are slight differences. For example, this xml:
390390+ ```xml
391391+ <options>
392392+ <listenAddress>default</listenAddress>
393393+ <minHomeDiskFree unit="%">1</minHomeDiskFree>
394394+ </options>
395395+ ```
396396+ corresponds to the json:
397397+ ```json
398398+ {
399399+ options: {
400400+ listenAddresses = [
401401+ "default"
402402+ ];
403403+ minHomeDiskFree = {
404404+ unit = "%";
405405+ value = 1;
406406+ };
407407+ };
408408+ }
409409+ ```
387410 '';
388411 example = {
389412 options.localAnnounceEnabled = false;