Backport generation of options.json
Manual: Remove some option defaults that refer to store paths

Option defaults should not refer to store paths, because they cause
the manual to be rebuilt gratuitously. It's especially bad to refer to
a highly variable path like a computed configuration file.

(cherry picked from commit ec4f38c56f0a7dfc9b2f9db111250f925e009c7d)