Looks like @panmichal hasn't received any replies!