Looks like @dmitrijppe hasn't received any replies!