The manual workaround is even documented in postgres' wiki https://wiki.postgresql.org/wiki/Loose_indexscan