Unimportant question, where did the name Ktor come from?

# ktor

[Trevor Stone]

Unimportant question, where did the name Ktor come from?

[mickeelm]

I have a vague memory of @hhariri saying it was from constructor during his talk at Jfokus a couple of years ago, but he'd have to verify 🙂

[Dominaezzz]

Ah, I also heard something about catering.

[Dominaezzz]

Could probably find something on it by searching. Idk which keywords though.

[andylamax]

ktor was short for constructor