Looks like @salvisberg hasn't received any replies!