Looks like @johannesboldt hasn't received any replies!