But RTL8723as is not 8723bs , you should not mix them .
8723as has definitive a diffirent firmware than bs https://kernel.googlesource.com/pub/scm/linux/kernel/git/jes/linux/+/rtl8xxxu-8188eu/drivers/net/wireless/realtek/rtl8xxxu/rtl8xxxu.h
many of the RTL 8723xx are part of Kernel 5 , it should be detect by linux automaticly with the right firmware/driver combination
have you check the chip by open the box ? maybe its a 8723ds (bs and ds have same format and pinout ) ,8723as has a diffirent board format so its very unusal that this board have another print extra for this 8723as format
