<@U0AAQKT9Q>: OK, I got it figured out, the @Depre...

# announcements

[mikehearn]

@ilya.gorbunov: OK, I got it figured out, the @Deprecated trick works nicely thanks. Though it’d be good to have an @Error annotation that does the same thing, as it looks kind of weird otherwise (the method is not deprecated in reality)