Merge pull request #503 from Maaack/update-mini-options-menu