for instance, if he’s definitely sure the extra wi...

# announcements

[menegatti]

for instance, if he’s definitely sure the extra will always be there and he needs projID for something other than the creation of Proj, the lateinit approach seems the cleanest