We actually looked into vectorchord--it looks really cool, but it's not supported by RDS so it is an additional service for us to add anyways.