Looks like @happyfrog hasn't received any replies!