st/oxr: Tidy extensions

Jakob Bornecrantz requested to merge wallbraker/monado:go-go-gadget-tidy-extension into master Jul 06, 2020