Looks like @djens hasn't received any replies!