It looks like I am not able to access the latte shop in scripts:
void main() {
buffer page = visit_url("main.php?latte=1");
print(page);
}
This appears to respond with the main pane instead of the latte shop.
It looks like actually clicking on the [use] latte button redirects to choice.php...
