Looks like @marius hasn't received any replies!