Looks like @stefanpuchegger hasn't received any replies!