Looks like @tamoshanter hasn't received any replies!