Text this: Amenability problem for Thompson's group $F$: state of the art