Looks like @richly9 hasn't received any replies yet!