Comment by Lex-2008

i initially misread "2015" as "2025", too... But no, it was part of SQLite for ten years already!