Boiling with lemon juice may not be the best thing to do as that could lead to having lots of Psilocin alongside a high heat which could damage it, the anti-oxidant properties of ascorbic acid in lemon juice may help to prevent oxidation but the heat may still cause degradation, Psilocin is quite unstable by many accounts.
If i fancy a lemon tek tea then i add the lemon juice after boiling when it's not hot but warm, then allow time for Psilocybin to be dephosphorylated into Psilocin and drink the tea once it's tepid or room temp, i prefer it without lemon myself as i find it lasts a bit longer.
You can steep mushrooms in boiled water as you've described but i've found i need to steep them at least twice to get all the actives... recently i only use wild mushrooms that grow around sheep poop so i'd prefer them to have been boiled first.