From d21547e6211ecc0668d586e83a52005d38614425 Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Mon, 30 Aug 2021 11:16:05 +0200
Subject: [PATCH] [#1368] Support options map in $\n\nSee previous commit