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