Looks like @timoleon hasn't received any replies!