proper frontend option processing [dep #157]
the primary commit here is "frontend: properly handle option processing"; please see the commit message for details. the other few commits are very tiny related changes.
this is built upon MR #156 due to a conflict.
edit: there was also a conflict actually with MR #157, so rebase on that (which itself is based on #156)
Edited by Lyndon Brown