Looks like @diamonp hasn't received any replies!