They actually link to another blog post (https://www.citusdata.com/blog/2018/06/14/scalable-increment...) that solves this with pg_sequence_last_value().

I personally couldn't find this function, but I believe they might be talking about lastval (https://www.postgresql.org/docs/current/functions-sequence.h...).