Well the guy you spoke to on Facebook was from LineageOS itself and he was talking about the official LineageOS version. Henny's version is an unofficial version that isn't made by the LineageOS team. The S5 mini has an Exynos chipset which makes it harder for custom ROM developers than Snapdragon powered devices, so we mainly rely on great people like henny for our custom ROMsYes, I know it's 13.0!
I don't flash this, but I'm waiting for 14.1 and I'll flash that when it's available! With Lineage OS I hope to be able to use sound recording or Shazam after the first audible call! (that's the only problem I've with CM 14.1!)
I'm just happy 13.0 for G800F is released since 5 days ago Lars Kofod told S5 mini was not about to receive any Lineage OS....