The reset button of the settings only reverts to the last user-defined value, while it should reset to the built-in default value.

Can't believe I forgot to push the changes to the repository; I fixed this issue weeks ago.