Resolve "Do not override builtin functions in options files"

Davide Fazzinirequested to merge
37-do-not-override-builtin-functions-in-options-files into master

Partly addresses #37 (closed)

Edited by Patrick Koppenburg

Merge request reports