Looks like @dpianist hasn't received any replies!