Looks like @andreben hasn't received any replies!