Looks like @diphosen hasn't received any replies!